Order-sorted feature theory unification
- 28 February 1997
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 30 (2), 99-124
- https://doi.org/10.1016/s0743-1066(96)00053-2
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Type inference for record concatenation and multiple inheritancePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Order-sorted feature theory unificationThe Journal of Logic Programming, 1997
- Functions as passive constraints in LIFEACM Transactions on Programming Languages and Systems, 1994
- Towards a meaning of lifeThe Journal of Logic Programming, 1993
- Feature-constraint logics for unification grammarsThe Journal of Logic Programming, 1992
- Typed unification grammarsPublished by Association for Computational Linguistics (ACL) ,1990
- A semantics of multiple inheritanceInformation and Computation, 1988
- 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
- Aho, A. V. / Hopcroft, J. E. / Ullman, J. D., The Design and Analysis of Computer Algorithms. London‐Amsterdam‐Don Mills‐Sydney. Addison‐Wesley Publ. Comp. 1974 X, 470 S., $ 24,–ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, 1979