Normalised Rewriting and Normalised Completion (1994)

Cached

Download Links

by Claude Marche
Citations:19 - 2 self

Active Bibliography

11 Termination and Completion modulo Associativity, Commutativity and Identity – Jean-pierre Jouannaud, Claude Marché - 1992
2 Rewriting Methods for Word Problems – Nachum Dershowitz - 1992
18 Any Ground Associative-Commutative Theory Has a Finite Canonical System – Paliath Narendran, Michaël Rusinowitch - 1991
10 Knowledge Representation and Classical Logic – Vladimir Lifschitz, Leora Morgenstern
7 On The Use Of Constraints In Automated Deduction – Hélène Kirchner - 1995
13 Termination of Associative-Commutative Rewriting by Dependency Pairs – Claude Marche, Xavier Urbain - 1998
2 Associative-Commutative Reduction Orderings via Head-Preserving Interpretations – Claude Marche - 1995
1 Canonized Rewriting and Ground AC Completion Modulo Shostak Theories – Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala - 2001
29 Bi-rewrite systems – Jordi Levy, Jaume Agusti - 1996
Chapter 1 Knowledge Representation and Classical Logic – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Vladimir Lifschitz, Leora Morgenstern, David Plaisted
13 Superposition Theorem Proving for Abelian Groups Represented as Integer Modules – Jürgen Stuber - 1996
2 Combination of Compatible Reduction Orderings that are Total on Ground Terms (Extended Abstract) – Franz Baader - 1997
10 Automated Deduction with Associative Commutative Operators – Michaël Rusinowitch, Laurent Vigneron - 1993
2 Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems – Jürgen Stuber - 1999
Termination of Associative-Commutative Rewriting using Dependency Pairs Criteria – Kusakari Keiichirou, Claude Marché, Xavier Urbain - 2002
2 Term Rewriting In Associative Commutative Theories With Identities – Martin Joachim Henz, Martin Joachim Henz - 1991
5 Termination, AC-Termination and Dependency Pairs of Term Rewriting Systems – Keiichirou Kusakari - 2000
Author manuscript, published in "TACAS- Tools and Algorithms for the Construction and Analysis of Systems (2011)" Canonized Rewriting and Ground AC Completion Modulo Shostak Theories ⋆ – Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala - 2013
15 Buchberger's algorithm: A constraint-based completion procedure – Leo Bachmair, Harald Ganzinger - 1994