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

Ganzinger, Harald
Korovin, Konstantin

dblp
dblp

Not MPG Author(s):

Korovin, Konstantin

Editor(s):

Hermann, Miki
Voronkov, Andrei

dblp
dblp

Not MPII Editor(s):

Hermann, Miki
Voronkov, Andrei

BibTeX cite key*:

GK2007

Title, Booktitle

Title*:

Theory Instantiation

Booktitle*:

Logic for Programming, Artificial Intelligence, and Reasoning : 13th International Conference, LPAR 2006

Event, URLs

URL of the conference:


URL for downloading the paper:

http://dx.doi.org/10.1007/11916277_34

Event Address*:

Phnom Penh, Cambodia

Language:

English

Event Date*
(no longer used):


Organization:


Event Start Date:

13 November 2006

Event End Date:

17 November 2006

Publisher

Name*:

Springer

URL:


Address*:

Berlin, Germany

Type:


Vol, No, Year, pp.

Series:

Lecture Notes in Artificial Intelligence

Volume:

4246

Number:


Month:


Pages:

497-511

Year*:

2006

VG Wort Pages:


ISBN/ISSN:

3-540-48281-4

Sequence Number:


DOI:

10.1007/11916277_34



Note, Abstract, ©





Download
Access Level:

Internal

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

Expert

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort



BibTeX Entry:

@INPROCEEDINGS{GK2007,
AUTHOR = {Ganzinger, Harald and Korovin, Konstantin},
EDITOR = {Hermann, Miki and Voronkov, Andrei},
TITLE = {Theory Instantiation},
BOOKTITLE = {Logic for Programming, Artificial Intelligence, and Reasoning : 13th International Conference, LPAR 2006},
PUBLISHER = {Springer},
YEAR = {2006},
VOLUME = {4246},
PAGES = {497--511},
SERIES = {Lecture Notes in Artificial Intelligence},
ADDRESS = {Phnom Penh, Cambodia},
ISBN = {3-540-48281-4},
ISBN = {0302-9743},
DOI = {10.1007/11916277_34},
}


Entry last modified by Anja Becker, 02/25/2008
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)
Anja Becker
Created
02/25/2008 09:33:44 AM
Revision
1.
0.


Editor
Anja Becker
Anja Becker


Edit Date
25.02.2008 09:37:54
25.02.2008 09:37:47