MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Bachmair, Leo
Ganzinger, Harald		dblp
dblp
Editor(s):
Dershowitz, N.
Lindenstrauss, N.		dblp
dblp
BibTeX cite key*:
BachmairGanzinger-95-ctrs
Title, Booktitle
Title*:
Associative-Commutative Superposition
Booktitle*:
Proceedings of the 4th International Workshop on Conditional and Typed Rewrite Systems (CTRS-94)
Event, URLs
Conference URL::
Downloading URL:
Event Address*:
Jerusalem, Israel
Language:
English
Event Date*
(no longer used):
July, 13-15, 1994
Organization:
Event Start Date:
1 May 2024
Event End Date:
1 May 2024
Publisher
Name*:
Springer
URL:
Address*:
Berlin, Germany
Type:
Vol, No, Year, pp.
Series:
Lecture Notes in Computer Science
Volume:
968
Number:
Month:
Pages:
1-14
Year*:
1995
VG Wort Pages:
ISBN/ISSN:
Sequence Number:
DOI:
Note, Abstract, ©
Note:
Revised version of MPI-I-93-267, 1993
(LaTeX) Abstract:
We present an associative-commutative paramodulation calculus
that generalizes the associative-commutative completion procedure
to first-order clauses.
The calculus is parametrized by a selection function
(on negative literals) and a well-founded ordering on terms.
It is compatible with an abstract notion of redundancy
that covers such simplification techniques
as tautology deletion, subsumption, and simplification by
(associative-commutative) rewriting.
The proof of refutational completeness of the calculus
is comparatively simple, and the techniques employed may be
of independent interest.
Download
Access Level:

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Audience:
experts only
Appearance:
CCL bibliography



BibTeX Entry:
@INPROCEEDINGS{BachmairGanzinger-95-ctrs,
AUTHOR = {Bachmair, Leo and Ganzinger, Harald},
 EDITOR = {Dershowitz, N. and Lindenstrauss, N.},
 TITLE = {Associative-Commutative Superposition},
 BOOKTITLE = {Proceedings of the 4th International Workshop on Conditional and Typed Rewrite Systems (CTRS-94)},
 PUBLISHER = {Springer},
 YEAR = {1995},
 VOLUME = {968},
 PAGES = {1--14},
 SERIES = {Lecture Notes in Computer Science},
 ADDRESS = {Jerusalem, Israel},
}

Entry last modified by Christine Kiesel, 03/12/2010
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Christine Kiesel		Created
02/01/1996 12:07:50 PM
Revisions
8.
7.
6.
5.
4.		Editor(s)
Christine Kiesel
Christine Kiesel
Christine Kiesel
Christine Kiesel
Christine Kiesel		Edit Dates
29/03/99 16:00:10
29/03/99 15:17:43
29/03/99 15:16:18
29/03/99 15:15:53
25/03/99 10:52:22