MPI-INF RG1 Publications: Proceedings Article: More SPASS with Isabelle : Superposition with Hard Sorts and Configurable Simplification

Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop

Show entries of:

this year (2013) | last year (2012) | two years ago (2011) | Notes URL

Action:

Options:

Library locked

Goto entry point

Author, Editor

Author(s):

Blanchette, Jasmin Christian
Popescu, Andrei
Wand, Daniel
Weidenbach, Christoph

dblp
dblp
dblp
dblp

Not MPG Author(s):

Blanchette, Jasmin Christian
Popescu, Andrei

Editor(s):

Beringer, Lennart
Felty, Amy

dblp
dblp

Not MPII Editor(s):

Beringer, Lennart
Felty, Amy

BibTeX cite key*:

Wand2012

Title, Booktitle

Title*:	More SPASS with Isabelle : Superposition with Hard Sorts and Configurable Simplification
Booktitle*:	Interactive Theorem Proving : Third International Conference, ITP 2012

Event, URLs

URL of the conference:	http://itp2012.cs.princeton.edu/
URL for downloading the paper:	http://dx.doi.org/10.1007/978-3-642-32347-8_24
Event Address*:	Princeton, NJ, USA	Language:	English
Event Date* (no longer used):		Organization:
Event Start Date:	13 August 2012	Event End Date:	15 August 2012

Publisher

Name*:	Springer	URL:
Address*:	Berlin	Type:

Vol, No, Year, pp.

Series:

Lecture Notes in Computer Science

Volume:	7406	Number:
Month:		Pages:	345-360
Year*:	2012	VG Wort Pages:
ISBN/ISSN:	978-3-642-32346-1	Sequence Number:
DOI:	10.1007/978-3-642-32347-8_24



HyperLinks / References / URLs:	http://www.mpi-inf.mpg.de/~dwand/papers/more-spass.pdf


Download Access Level:	Public

Correlation

MPG Unit:	Max-Planck-Institut für Informatik

MPG Subunit:	Automation of Logic
Appearance:	MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort

BibTeX Entry:

@INPROCEEDINGS{Wand2012,
AUTHOR = {Blanchette, Jasmin Christian and Popescu, Andrei and Wand, Daniel and Weidenbach, Christoph},
EDITOR = {Beringer, Lennart and Felty, Amy},
TITLE = {More {SPASS} with {Isabelle} : Superposition with Hard Sorts and Configurable Simplification},
BOOKTITLE = {Interactive Theorem Proving : Third International Conference, ITP 2012},
PUBLISHER = {Springer},
YEAR = {2012},
VOLUME = {7406},
PAGES = {345--360},
SERIES = {Lecture Notes in Computer Science},
ADDRESS = {Princeton, NJ, USA},
ISBN = {978-3-642-32346-1},
DOI = {10.1007/978-3-642-32347-8_24},
}

Entry last modified by Anja Becker, 03/07/2013

Edit History (please click the blue arrow to see the details)

Attachment Section