MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Weidenbach, Christoph
Brahm, Uwe
Hillenbrand, Thomas
Keen, Enno
Theobalt, Christian
Topić, Dalibor		dblp
dblp
dblp
dblp
dblp
dblp
Editor(s):
Voronkov, Andreidblp
Not MPII Editor(s):
Voronkov, Andrei
BibTeX cite key*:
WBH+02-CADE18
Title, Booktitle
Title*:
SPASS Version 2.0
spass2002.ps (105.81 KB)
Booktitle*:
Automated deduction, CADE-18 : 18th International Conference on Automated Deduction
Event, URLs
Conference URL::
http://www.uni-koblenz.de/~cade-18/
Downloading URL:
Event Address*:
Kopenhagen, Denmark
Language:
English
Event Date*
(no longer used):
-- July,27 - July, 30
Organization:
Event Start Date:
27 July 2002
Event End Date:
30 July 2002
Publisher
Name*:
Springer
URL:
http://www.springer.de/
Address*:
Heidelberg, Germany
Type:
Vol, No, Year, pp.
Series:
Lecture Notes in Artificial Intelligence
Volume:
2392
Number:
Month:
Pages:
275-279
Year*:
2002
VG Wort Pages:
5
ISBN/ISSN:
3-540-43931-5
Sequence Number:
DOI:
Note, Abstract, ©
(LaTeX) Abstract:
SPASS is an automated theorem prover for full first-order logic with equality. This system description provides an overview of recent developments in SPASS 2.0, including among others an implementation of contextual rewriting, refinements of the clause normal form transformation, and enhancements of the inference engine.
Keywords:
Theorem Proving
HyperLinks / References / URLs:
http://spass.mpi-sb.mpg.de/
Download
Access Level:
Public

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Research Context:
SPASS
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, CCL bibliography, VG Wort



BibTeX Entry:
@INPROCEEDINGS{WBH+02-CADE18,
AUTHOR = {Weidenbach, Christoph and Brahm, Uwe and Hillenbrand, Thomas and Keen, Enno and Theobalt, Christian and Topi{\'c}, Dalibor},
 EDITOR = {Voronkov, Andrei},
 TITLE = {{SPASS} Version 2.0},
 BOOKTITLE = {Automated deduction, CADE-18 : 18th International Conference on Automated Deduction},
 PUBLISHER = {Springer},
 YEAR = {2002},
 VOLUME = {2392},
 PAGES = {275--279},
 SERIES = {Lecture Notes in Artificial Intelligence},
 ADDRESS = {Kopenhagen, Denmark},
 ISBN = {3-540-43931-5},
}

Entry last modified by Uwe Brahm, 06/09/2006
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)
Thomas Hillenbrand		Created
05/16/2002 02:38:38 PM
Revisions
18.
17.
16.
15.
14.		Editor(s)
Uwe Brahm
Uwe Brahm
Christine Kiesel
Christine Kiesel
Christine Kiesel		Edit Dates
10/30/2005 10:17:00 PM
10/30/2005 10:16:29 PM
01.09.2003 17:09:47
01.09.2003 14:36:19
01.08.2003 15:50:32

File Attachment Icon
spass2002.ps