Searching for "An Efficient Unification Algorithm." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

35 documents found, showing 1 through 10. Next 10 →

Lazy Unification with Simplification
by Michael Hanus — 1994 — In Proc. 5th European Symposium on Programming
… process, more efficient unification algorithms can be achieved. Moreover, simplification reduces…
Cited by 14 (3 self) – Add To MetaCart

Set Constraints and Logic Programming
by Dexter Kozen — 1995 — Information and Computation
… an efficient unification algorithm and operational, declarative, and fixpoint semantics. We show how…
Cited by 16 (1 self) – Add To MetaCart

Efficient Feature Structure Operations without Compilation
by Robert Malouf, John Carroll, Ann Copestake — 2000
… the grammar. In this paper we describe novel extensions to an existing ecient unication algorithm which…
Cited by 27 (1 self) – Add To MetaCart

An Algorithm for the Solution of Tree Equations
by Sabrina Mantaci, Daniele Micciancio — 1997 — Proceedings CAAP-TAPSOFT'97. Lecture Notes in Computer Science n.1214
… ? 1. We describe an efficient unification algorithm that on input an ff-ary tree equation, computes a…
Cited by 2 (2 self) – Add To MetaCart

Theorem proving with structure sharing and efficient unification
by Alberto Martelli, Ugo Montanari — 1977 — University of Pisa
… proof of n steps may require 2 2 operations. Efficient unification Quasi linear and linear algorithms…
Cited by 6 (1 self) – Add To MetaCart

A Parser for HPSG
by Alex Franz — 1990
… unification algorithm. ACM Transactions on Programming Languages and Systems, 4(2):258--282. [Moshier…
Cited by 14 (2 self) – Add To MetaCart

Automated Reasoning (Bibliography)
by A. Degtyarev, A. Voronkov, Formal Techniques — 1997
…. February 13, 1997, 18:14 [MM 82] A. Martelli and U. Montanari. An efficient unification algorithm. ACM…
Add To MetaCart

Bibliography
by Aagaard And Leeser, Adel'son-vel'skii G. M — 1996
…. 313--327. Martelli, A. and Montanari, U. (1982) An efficient unification algorithm. ACM Transactions…
Add To MetaCart

Tabled Evaluation with Delaying for General Logic Programs
by Weidong Chen, David S. Warren — 1996
… unification algorithm. ACM Transactions on Programming Languages and Systems, 4(2):258--282, 1982. [26] S…
Cited by 187 (25 self) – Add To MetaCart

Guiding Program Development Systems by a Connection Based Proof Strategy
by Christoph Kreitz, Jens Otten, Stephan Schmitt, Fachgebiet Intellektik, Fachbereich Informatik, Technische Hochschule Darmstadt — 1996 — 5 th International Workshop on Logic Program Synthesis and Transformation, Lecture Notes in Computer Science 1048
… described above strongly depends on the efficiency of the unification algorithms computing both the first…
Cited by 20 (14 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB