Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

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

Action:

login to update

Options:




Library Locked Library locked




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



Note, Abstract, ©





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
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)
[Library]
Created
09/07/2009 03:33:14 PM
Revisions
4.
3.
2.
1.
0.
Editor(s)
Manuel Lamotte-Schubert
Anja Becker
Anja Becker
Jennifer Müller
Jennifer Müller
Edit Dates
16.03.2011 15:18:51
25.03.2010 11:19:11
25.03.2010 11:15:17
21.09.2009 15:34:16
09/07/2009 03:33:14 PM

Hide details for Attachment SectionAttachment Section