Feature constraints with first-class features
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 734-743
- https://doi.org/10.1007/3-540-57182-5_64
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Complete axiomatizations of the algebras of finite, rational and infinite treesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- On the decidability of functional uncertaintyPublished by Association for Computational Linguistics (ACL) ,1993
- A complete and recursive feature theoryPublished by Association for Computational Linguistics (ACL) ,1993
- A new method for undecidability proofs of first order theoriesJournal of Symbolic Computation, 1992
- Feature-constraint logics for unification grammarsThe Journal of Logic Programming, 1992
- A solution of the complement problem in associatiue-commutatiue theoriesPublished by Springer Nature ,1991
- Decidability of the purely existential fragment of the theory of term algebrasJournal of the ACM, 1987
- An algebraic semantics approach to the effective resolution of type equationsTheoretical Computer Science, 1986
- Login: a logic programming language with built-in inheritanceThe Journal of Logic Programming, 1986