MPI-INF RG1 Publications: Proceedings Article: Superposition Modulo Linear Arithmetic SUP(LA)

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

Althaus, Ernst
Kruglov, Evgeny
Weidenbach, Christoph

dblp
dblp
dblp

Editor(s):

Ghilardi, Silvio
Sebastiani, Roberto

dblp
dblp

Not MPII Editor(s):

Ghilardi, Silvio
Sebastiani, Roberto

BibTeX cite key*:

AlthausEtAlFrocos2009

Title, Booktitle

Title*:	Superposition Modulo Linear Arithmetic SUP(LA)
Booktitle*:	Frontiers of Combining Systems : 7th International Symposium, FroCoS 2009

Event, URLs

URL of the conference:
URL for downloading the paper:	http://dx.doi.org/10.1007/978-3-642-04222-5_5
Event Address*:	Trento, Italy	Language:	English
Event Date* (no longer used):		Organization:
Event Start Date:	16 September 2009	Event End Date:	18 September 2009

Publisher

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

Vol, No, Year, pp.

Series:

Lecture Notes in Artificial Intelligence

Volume:	5749	Number:
Month:	September	Pages:	84-99
Year*:	2009	VG Wort Pages:
ISBN/ISSN:	978-3-642-04221-8	Sequence Number:
DOI:	10.1007/978-3-642-04222-5_5





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{AlthausEtAlFrocos2009,
AUTHOR = {Althaus, Ernst and Kruglov, Evgeny and Weidenbach, Christoph},
EDITOR = {Ghilardi, Silvio and Sebastiani, Roberto},
TITLE = {Superposition Modulo Linear Arithmetic {SUP(LA)}},
BOOKTITLE = {Frontiers of Combining Systems : 7th International Symposium, FroCoS 2009},
PUBLISHER = {Springer},
YEAR = {2009},
VOLUME = {5749},
PAGES = {84--99},
SERIES = {Lecture Notes in Artificial Intelligence},
ADDRESS = {Trento, Italy},
MONTH = {September},
ISBN = {978-3-642-04221-8},
DOI = {10.1007/978-3-642-04222-5_5},
}

Entry last modified by Manuel Lamotte-Schubert, 03/16/2011

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

Attachment Section