Records for logic programming
- 30 April 1994
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 18 (3) , 229-258
- https://doi.org/10.1016/0743-1066(94)90044-2
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- A complete and recursive feature theoryPublished by Association for Computational Linguistics (ACL) ,1993
- The Design and Analysis of AlgorithmsPublished by Springer Nature ,1992
- Constraint-based query optimization for spatial databasesPublished by Association for Computing Machinery (ACM) ,1991
- Integrating logic and functional programmingHigher-Order and Symbolic Computation, 1989
- Termination of rewritingJournal of Symbolic Computation, 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
- Efficient unification over infinite termsNew Generation Computing, 1984
- Fundamental properties of infinite treesTheoretical Computer Science, 1983
- Functional GrammarProceedings of the Annual Meeting of the Berkeley Linguistics Society, 1979