A constraint sequent calculus
- 4 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Complete axiomatizations of the algebras of finite, rational and infinite treesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Constraint Query LanguagesJournal of Computer and System Sciences, 1995
- Equational problems anddisunificationJournal of Symbolic Computation, 1989
- Independence of negative constraintsPublished by Springer Nature ,1989
- Unification RevisitedPublished by Elsevier ,1988
- Explicit representation of terms defined by counter examplesJournal of Automated Reasoning, 1987
- Networks of constraints: Fundamental properties and applications to picture processingInformation Sciences, 1974