MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Prevosto, Virgile
Waldmann, Uwe		dblp
dblp
Not MPG Author(s):
Prevosto, Virgile
Editor(s):
Sutcliffe, Geoff
Schmidt, Renate
Schulz, Stephan		dblp
dblp
dblp
Not MPII Editor(s):
Sutcliffe, Geoff
Schmidt, Renate
Schulz, Stephan
BibTeX cite key*:
PrevostoWaldmann2006
Title, Booktitle
Title*:
SPASS+T
Booktitle*:
ESCoR: FLoC'06 Workshop on Empirically Successful Computerized Reasoning
Event, URLs
Conference URL::
Downloading URL:
http://CEUR-WS.org/Vol-192/paper02.pdf
Event Address*:
Seattle, WA, USA
Language:
English
Event Date*
(no longer used):
Organization:
Event Start Date:
21 August 2006
Event End Date:
21 August 2006
Publisher
Name*:
-
URL:
Address*:
-
Type:
Vol, No, Year, pp.
Series:
CEUR Workshop Proceedings
Volume:
192
Number:
Month:
Pages:
18-33
Year*:
2006
VG Wort Pages:
24
ISBN/ISSN:
1613-0073
Sequence Number:
DOI:
Note, Abstract, ©
(LaTeX) Abstract:
SPASS+T is an extension of the superposition-based theorem prover SPASS that allows us to enlarge the reasoning capabilities of SPASS using an arbitrary SMT procedure for arithmetic and free function symbols as a black-box. We discuss the architecture of SPASS+T and the capabilities, limitations, and applications of such a combination.
Keywords:
refutational theorem proving, superposition, modularity, combination procedures
Download
Access Level:
Public

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, VG Wort, CCL bibliography



BibTeX Entry:
@INPROCEEDINGS{PrevostoWaldmann2006,
AUTHOR = {Prevosto, Virgile and Waldmann, Uwe},
 EDITOR = {Sutcliffe, Geoff and Schmidt, Renate and Schulz, Stephan},
 TITLE = {{SPASS+T}},
 BOOKTITLE = {ESCoR: FLoC'06 Workshop on Empirically Successful Computerized Reasoning},
 PUBLISHER = {-},
 YEAR = {2006},
 VOLUME = {192},
 PAGES = {18--33},
 SERIES = {CEUR Workshop Proceedings},
 ADDRESS = {Seattle, WA, USA},
 ISBN = {1613-0073},
}

Entry last modified by Uwe Waldmann, 10/30/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)
Uwe Waldmann		Created
10/30/2006 04:00:53 PM
Revision
0.



Editor
Uwe Waldmann



Edit Date
30.10.2006 16:00:53