Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








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, Andrei

dblp

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

URL of the conference:

http://www.uni-koblenz.de/~cade-18/

URL for downloading the paper:


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, 05/12/2006
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
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/12/2006 04:46:39 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
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section

View attachments here:


File Attachment Icon
spass2002.ps