A constraint sequent calculus
- J.-L. Lassez
- Ken McAloon
- 1990
- LICS 1990
Publications
Date
Featured collections
Popular topics
5 results for Ken McAloon
A note on the parallel complexity of anti-unification
- G.M. Kuper
- Ken McAloon
- et al.
- 1992
- Journal of Automated Reasoning
A canonical form for generalized linear constraints
- Jean-Louis Lassez
- Ken McAloon
- 1992
- Journal of Symbolic Computation
Stratification and knowledge base management
- Catherine Lassez
- Ken McAloon
- et al.
- 1989
- Journal of Symbolic Computation
Constraint Logic Programming and Option Trading
- Catherine Lassez
- Ken McAloon
- et al.
- 1987
- IEEE Expert-Intelligent Systems and their Applications