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):

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

URL of the conference:


URL for downloading the paper:

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



Editor
Uwe Waldmann



Edit Date
30.10.2006 16:00:53



Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section