A complete axiomatization of a theory with feature and arity constraints
- 31 August 1995
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 24 (1-2) , 37-71
- https://doi.org/10.1016/0743-1066(95)00033-g
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Regular Path Expressions in Feature LogicJournal of Symbolic Computation, 1994
- A feature constraint system for logic programming with entailmentTheoretical Computer Science, 1994
- Towards a meaning of lifeThe Journal of Logic Programming, 1993
- On the expressivity of feature logics with negation, functional uncertainty, and sort equationsJournal of Logic, Language and Information, 1993
- Feature-constraint logics for unification grammarsThe Journal of Logic Programming, 1992
- The logic of unification in grammarLinguistics and Philosophy, 1990
- Equational problems anddisunificationJournal of Symbolic Computation, 1989
- Integrating logic and functional programmingHigher-Order and Symbolic Computation, 1989
- 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