On Simultaneous Rigid E-Unification (1997)

Cached

Download Links

by Margus Veanes
Citations:11 - 2 self

Active Bibliography

10 On Computational Complexity of Basic Decision Problems of Finite Tree Automata – Margus Veanes - 1997
3 A Generalized Approach to Equational Unification – Katherine Anne Yelick - 1985
Chapter 1 Knowledge Representation and Classical Logic – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Vladimir Lifschitz, Leora Morgenstern, David Plaisted
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
1 Decidability and complexity of simultaneous rigid E-unification with one variable and related results – Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov - 1998
36 Xpath leashed – Michael Benedikt, Christoph Koch - 2007
10 Knowledge Representation and Classical Logic – Vladimir Lifschitz, Leora Morgenstern
3 A Strict Border for the Decidability of E-Unification for Recursive Functions – Sebastian Maneth, Heinz Faßbender - 1998
2 Ambiguity, Valuedness and Costs – Helmut Seidl - 1992
281 Complexity and Expressive Power of Logic Programming – Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov - 1997
9 Processing Queries on Tree-Structured Data Efficiently – Christoph Koch - 2006
2 Rewriting Systems – Johan Boye, Jan Maluszynski, Ulf Nilsson - 1999
10 The Decidability of Simultaneous Rigid E-Unification with One Variable – Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov - 1997
29 Bi-rewrite systems – Jordi Levy, Jaume Agusti - 1996
6 Trips on Trees – Joost Engelfriet , Hendrik Jan Hoogeboom, Jan-Pascal Van Best - 1999
19 MSO definable string transductions and two-way finite-state transducers – Joost Engelfriet, Hendrik Jan Hoogeboom - 2001
9 Model Theoretic Syntax – Thomas Cornell, James Rogers - 1998
8 Ordering Constraints over Feature Trees Expressed in Second-order Monadic Logic – Martin Müller, Joachim Niehren - 1998
52 A Descriptive Approach to Language-Theoretic Complexity – James Rogers - 1996