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
Waldmann, Uwe		dblp
dblp
dblp
Editor(s):
Gottlob, Georg
Leitsch, Alexander
Mundici, Daniele		dblp
dblp
dblp
BibTeX cite key*:
BachmairGanzingerWaldmann-93-kgs
Title, Booktitle
Title*:
Superposition with simplification as a decision procedure for the monadic class with equality
Booktitle*:
Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93
Event, URLs
Conference URL::
Downloading URL:
Event Address*:
Brno, Czech Republic
Language:
English
Event Date*
(no longer used):
August 24-27, 1993
Organization:
Event Start Date:
16 May 2024
Event End Date:
16 May 2024
Publisher
Name*:
Springer
URL:
Address*:
Berlin, Germany
Type:
Vol, No, Year, pp.
Series:
Lecture Notes in Computer Science
Volume:
713
Number:
Month:
Pages:
83-96
Year*:
1993
VG Wort Pages:
ISBN/ISSN:
Sequence Number:
DOI:
Note, Abstract, ©
Note:
Revised version of Technical Report MPI-I-93-204
(LaTeX) Abstract:
We show that superposition, a restricted form of paramodulation, can be combined with specifically designed simplification rules such that it becomes a decision procedure for the monadic class with equality. The completeness of the method follows from a general notion of redundancy for clauses and superposition inferences.
Download
Access Level:

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Audience:
experts only
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, CCL bibliography



BibTeX Entry:
@INPROCEEDINGS{BachmairGanzingerWaldmann-93-kgs,
AUTHOR = {Bachmair, Leo and Ganzinger, Harald and Waldmann, Uwe},
 EDITOR = {Gottlob, Georg and Leitsch, Alexander and Mundici, Daniele},
 TITLE = {Superposition with simplification as a decision procedure for the monadic class with equality},
 BOOKTITLE = {Computational Logic and Proof Theory, Third Kurt G{\"o}del Colloquium, KGC'93},
 PUBLISHER = {Springer},
 YEAR = {1993},
 VOLUME = {713},
 PAGES = {83--96},
 SERIES = {Lecture Notes in Computer Science},
 ADDRESS = {Brno, Czech Republic},
}

Entry last modified by Uwe Waldmann, 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)
Harald Ganzinger		Created
01/22/1995 02:33:17 PM
Revisions
12.
11.
10.
9.
8.		Editor(s)
Uwe Waldmann
Uwe Waldmann
Uwe Brahm
Uwe Brahm
Uwe Brahm		Edit Dates
15/10/98 23:30:28
15/10/98 23:22:03
03/27/98 09:53:43 PM
25/03/98 10:15:46
03/05/98 07:32:43 PM