Eric Domenjoud, Francis Klay, Christophe Ringeissen  Home/Search
Context Related
| loria.fr/pub/loria...oudKRCADE94.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: fermivista.math.ju...ftp.loria.fr (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ion variables which are variables coming from an abstraction, either during preprocessing or during the algorithm itself. 3. Introduced variables which are variables introduced by the unification algorithms for each theory. We make the very natural assumption that the unification algorithm for each theory may recognize initial, abstraction and introduced variables and never assigns an introduced variable to a non-introduced one or an abstraction variable to an initial one. With this assumption, ... (Update)
Cited by: More
The complete list of RTA open problems - Date April Summary (Correct)
Path Rewriting and Combined Word Problems - Fiorentini, Ghilardi (2000) (Correct)
A New Combination Procedure for the Word Problem that.. - Baader, Ghilardi.. (2003) (Correct)
Active bibliography (related documents): More All
0.6: A Constraint Solver in Finite Algebras and Its Combination .. - Kirchner, Ringeissen (1992) (Correct)
0.6: Rule-Based Constraint Programming - Kirchner, Ringeissen (1998) (Correct)
0.4: Combination of Matching Algorithms - Ringeissen (1994) (Correct)
Similar documents based on text: More All
0.2: Intelligence, St. Petersburg, Russia, July 1992.. - Http Www (Correct)
0.2: Proc. of the First CCL Workshop - Domenjoud, Kirchner (1992) (Correct)
0.2: Combining Symbolic Constraint Solvers on Algebraic Domains - Kirchner, Ringeissen (1994) (Correct)
Related documents from co-citation: More All
17: Unification in the union of disjoint equational theories: Combining decision pro.. - Baader, Schulz - 1992
16: Combining matching algorithms: The regular case (context) - Nipkow - 1991
16: Simplification by cooperating decision procedures (context) - Nelson, Oppen - 1979
BibTeX entry: (Update)
Domenjoud E., Klay F. and Ringeissen C. [1994], Combination techniques for non-disjoint equational theories, in A. Bundy, ed., `Proceedings of the 12th International Conference on Automated Deduction', Vol. 814 of Lecture Notes in Artificial Intelligence, Springer-Verlag, Nancy, France, pp. 267--281. http://citeseer.ist.psu.edu/domenjoud94combination.html More
@inproceedings{ domenjoud94combination,
author = "Eric Domenjoud and Francis Klay and Christophe Ringeissen",
title = "Combination techniques for non-disjoint equational theories",
booktitle = "Proceedings of the 12th International Conference on Automated Deduction, Nancy (France)",
volume = "814",
publisher = "Springer-Verlag",
editor = "A.~Bundy",
pages = "267--281",
year = "1994",
url = "citeseer.ist.psu.edu/domenjoud94combination.html" }
Citations (may not include all citations):73 Modularity of simple termination of term rewriting systems w.. (context) - Kurihara, Ohuchi - 1992
71 Unification in the union of disjoint equational theories: Co.. - Baader, Schulz - 1992
46 Complete sets of transformations for general E-unification (context) - Gallier, Snyder - 1989
31 Recursive unsolvability of a problem of thue (context) - Post - 1947
30 Combining matching algorithms: The regular case (context) - Nipkow - 1989
26 Combination techniques and decision problems for disunificat.. - Baader, Schulz - 1993
26 Combination of unification algorithms (context) - Schmidt-Schauss - 1989
13 Unification in combinations of collapse-free regular theorie.. (context) - Yelick - 1987
10 Combination of matching algorithms - Ringeissen - 1994
7 An improved general E-unification method - Dougherty, Johann - 1990
5 ese de Doctorat d (context) - Kirchner, outils et al. - 1985
4 ese de Doctorat d (context) - Ringeissen, de Contraintes - 1993
3 ese de Doctorat d (context) - Boudet, les et al. - 1990
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.loria.fr.html): More
Towards a General Signal Interpretation System -.. - Gong, Haton (Correct)
Description of Specification Developments - Souquières, al. (Correct)
Termination Proofs using gpo Ordering Constraints - Genet, Gnaedig (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC