Unification Theory

Unification Theory (2001)

Cached

Download Links

[lat.inf.tu-dresden.de]
[www-lti.informatik.rwth-aachen.de]

Other Repositories/Bibliography

DBLP

by Franz Baader , Wayne Snyder

Citations:

181 - 10 self

BibTeX

@MISC{Baader01unificationtheory,
    author = {Franz Baader and Wayne Snyder},
    title = {Unification Theory},
    year = {2001}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

723	Rewrite systems - Dershowitz, Jouannaud - 1990
317	An efficient unification algorithm - Martelli, Montanari - 1982
149	Basic Category Theory for Computer Scientists - Pierce - 1991
136	Linear unification - PATERSON, WEGMAN - 1978
101	Recherches sur la th'eorie de la d'emonstration - Herbrand - 1930
98	Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures - Baader, Schulz - 1996
98	Finiteness of the odd perfect and primitive abundant numbers with n distinct prime factors - Dickson - 1913
94	Equational problems and disunification - Comon, Lescanne - 1989
70	A Unification Algorithm for Associative-Commutative Functions - Stickel - 1981
68	Hilbert’s tenth problem is unsolvable - Davis - 1973
64	W.: Basic paramodulation - Bachmair, Ganzinger, et al. - 1995
58	First-Order Unification in an Equational Theory - Fay - 1979
56	On the sequential nature of unification - Dwork, Kanellakis, et al. - 1984
52	Complexity of matching problems - Benanav, Kapur, et al. - 1987
50	A Many-Sorted Calculus Based on Resolution and Paramodulation - Walther - 1987
46	Modal theorem proving: An equational viewpoint - Auffray, Enjalbert - 1992
46	Computational logic: the unification computation - Robinson - 1971
44	W.: Complete sets of transformations for general E-unification - Gallier, Snyder - 1989
43	Properties of substitutions and unifications - Eder - 1985
42	Worst-case complexity bounds on algorithms for computing the canonical structure of finite abelian groups and the Hermite and Smith normal forms of an integer matrix - Iliopoulos - 1989
38	Unification of concept terms in description logics - Baader, Narendran - 1998
38	Computational Aspects of an Order-Sorted Logic with Term Declarations - Schmidt-Schauss - 1989
34	1979]: Computers and intractability. A guide to the Theory of NP-Completeness. W.H. Freeman and - Garey, Johnson
34	AResolution Principle for a Logic with Restricted Quanti ers - Burckert - 1991
32	Universal Algebra, Second Edition - Grätzer - 1979
32	Basic Narrowing Revisited - Nutt, R'ety, et al. - 1989
31	Satisfiability of word equations with constants is in PSPACE - Plandowski - 1999
30	A technique for establishing completeness results in theorem proving with equality - Peterson - 1983
29	AC-supperposition with constraints: No ACunifiers needed - Nieuwenhuis, Rubio - 1990
28	Higher-order unification and matching - Dowek, G - 2001
27	Unification in linear time and space: A structured presenACM Transactions on Programming - MARTELLI, MONTANARI - 1982
26	An algorithm to generate the basis of solutions to homogeneous Diophantine equations - Huet - 1978
25	Efficient solution of linear diophantine equations - Clausen, Fortenbacher - 1989
24	Combination techniques for non-disjoint equational theories - Domenjoud, Klay, et al. - 1994
24	Associative-commutative unification - Fages - 1984
23	On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers - Baader, Schulz - 1995
22	Combination of constraint solvers for free and quasi-free structures. Theoretical Computer Science - Baader, Schulz - 1998
21	1995b], `Combination techniques and decision problems for disunification', Theoretical Computer Science 142 - Baader, Schulz
21	An efficient incremental algorithm for solving systems of linear diophantine equations - Contejean, Devie - 1994
20	Word Unification and Transformation of Generalized Equations - Schulz - 1993
19	An optimal narrowing strategy for general canonical systems - Bockmayr, Krischer, et al. - 1992
19	Constrained equational reasoning - Kirchner, Kirchner - 1989
18	Complete sets of unifiers and matchers in equational theories - Fages, Huet - 1986
18	Unification in abelian semigroups - Herold, Siekmann - 1987
18	Matching - A Special Case of Unification - Burckert - 1989
17	Order-sorted unification - Meseguer, Goguen, et al. - 1989
16	Combination of Constraint Solving Techniques: An Algebraic Point of View - Baader, Schulz - 1995
16	Combination of Unification Algorithms - Herold - 1986
15	Outils pour la déduction automatique dans les théories associatives-commutatives, Thèse de doctorat - Domenjoud - 1991
15	Semi-automated mathematics - Guard, Oglesby, et al. - 1969