Unification Theory (2001)

Cached

Download Links

by Franz Baader , Wayne Snyder
Citations:214 - 12 self

Active Bibliography

3 A Generalized Approach to Equational Unification – Katherine Anne Yelick - 1985
25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
105 Unification: A multidisciplinary survey – Kevin Knight - 1989
135 Type Inference with Polymorphic Recursion – Fritz Henglein - 1991
3 Negation in Combining Constraint Systems – Stephan Kepser - 1998
279 Complexity and Expressive Power of Logic Programming – Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov - 1997
Equational Unification, Word Unification, and 2-Order Equational Unification – Friedrich Otto, Paliath Narendran, Daniel Dougherty - 1996
10 Connectionist Unification with a distributed Representation – V. Weber - 1992
1 Connectionist Unifying Prolog – Volker Weber - 1993
11 On Simultaneous Rigid E-Unification – Margus Veanes - 1997
11 Knowledge Representation and Classical Logic – Vladimir Lifschitz, Leora Morgenstern, David Plaisted - 2007
New Bounds in Parallel Unification – Marco Bellia, M. Eugenia Occhiuto - 2001
A Parallel Unification Algorithm – Jonas Barklund, Håkan Millroth - 1989
Source-tracking Unification using semi-Dyck labeled reachability – Venkatesh Choppella, Christopher T. Haynes - 2004
1 The STO-problem is NP-hard – Krzysztof R. Apt, Peter Van, Peter Van Emde Boas, Angelo Welling - 1994
1 Linear Logic – Frank Pfenning - 1998
15 Foundations of rule-based query answering – François Bry, Norbert Eisinger, Thomas Eiter, Tim Furche, Georg Gottlob, Clemens Ley, Benedikt Linse, Reinhard Pichler, Fang Wei - 2007
Theory of Finite or Infinite Trees Revisited – Khalil Djelloul, THI-BICH-HANH DAO;, Thom Frühwirth - 2007
13 Lazy Unification with Simplification – Michael Hanus - 1994