Searching for "Completion for Unification." – sorted by Relevance.

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

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

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

AC-complete Unification and its Application to Theorem Proving
by Alexandre Boudet, Re Boudet, Claude Marché, Evelyne Contejean — 1996 — In Proceedings of the 7th International Conference on Rewriting Techniques and Applications
…AC-complete Unification and its Application to Theorem Proving ? Alexandre Boudet, Evelyne…
Cited by 5 (0 self) – Add To MetaCart

Unification with Sequence Variables And Flexible Arity Symbols and its Extension with Pattern-Terms
by Temur Kutsia, A- Hagenberg Autsria — 2002 — Artificial Intelligence, Automated Reasoning and Symbolic Computation. Proc. of Joint AISC’2002 – Calculemus’2002 Conference, volume 2385 of LNAI
…, Hagenberg, Autsria teimuraz.kutsia@(email omitted); Abstract. A minimal and complete unification procedure for a…
Cited by 22 (10 self) – Add To MetaCart

Unification in a Process Algebra With Choice and Sequential Composition.
by N.J. Drost — 1994
…, and is proved sound and complete. As unification in this algebra is infinitary, the algorithm does not terminate…
Add To MetaCart

Higher-order unification, polymorphism, and subsorts (extended abstract
by Tobias Nipkow — 1990 — Proceedings of the 2nd International Workshop on Conditional and Typed Rewriting Systems
… a new type system for the λ-calculus which may pave the way to a complete unification algorithm…
Cited by 3 (0 self) – Add To MetaCart

Equational logic programming, actions, and change
by Gerd Große, Steffen Hölldobler, Ute Sigmund — 1992 — JOINT INTL. CONF. AND SYMP. ON LOGIC PROGRAMMING (JICSLP'92
…. We give a minimal and complete unification algorithm for the equational theory which defines…
Add To MetaCart

A High Performance Prolog Processor with Multiple Functional Units
by Ashok Singhal, Yale N. Patt — 1989 — In Proceedings of the International Symposium on Architecture
… completely overlapped by unification, and the performance of the processor is limited only by the available…
Cited by 1 (0 self) – Add To MetaCart

Unification in Prolog by Connectionist Models
by Volker Weber — 1993 — In Proceedings of the Fourth Australian Conference on Neural Networks ACNN-93
… the correctness and completness of the unification-rules are proven. We introduce Clash- and Occurrence- units…
Cited by 5 (1 self) – Add To MetaCart

Difference Unification
by David Basin, Im Stadtwald, Im Stadtwald, Toby Walsh, Toby Walsh — 1992
… rule-based algorithm for difference unification, and analyze its correctness, completeness…
Cited by 25 (4 self) – Add To MetaCart

Symbolic Reasoning by Difference Reduction
by David A. Basin, Im Stadtwald, Toby Walsh — 1994
… difference unification" can be easily made. We prove the algorithm given is both sound and complete…
Cited by 1 (0 self) – Add To MetaCart

Proof Search in Minimal Logic
by Helmut Schwichtenberg — 2000
…. Section 2 defines the pattern unification algorithm, and in section 3 its correctness and completeness…
Add To MetaCart

Showing 1 through 10. Next 10 →

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