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:




Library Locked Library locked




Author, Editor

Author(s):

Horbach, Matthias

dblp



Editor(s):

Clarke, Edmund M.
Voronkov, Andrei

dblp
dblp

Not MPII Editor(s):

Clarke, Edmund M.
Voronkov, Andrei

BibTeX cite key*:

Horbach2010

Title, Booktitle

Title*:

Disunification for Ultimately Periodic Interpretations

Booktitle*:

Logic for Programming, Artificial Intelligence, and Reasoning : 16th International Conference, LPAR-16

Event, URLs

URL of the conference:


URL for downloading the paper:

http://dx.doi.org/10.1007/978-3-642-17511-4_17

Event Address*:

Dakar, Senegal

Language:

English

Event Date*
(no longer used):


Organization:


Event Start Date:

25 April 2010

Event End Date:

1 May 2010

Publisher

Name*:

Springer

URL:


Address*:

Berlin

Type:


Vol, No, Year, pp.

Series:

Lecture Notes in Artificial Intelligence

Volume:

6355

Number:


Month:


Pages:

290-311

Year*:

2010

VG Wort Pages:

40

ISBN/ISSN:

978-3-642-17510-7

Sequence Number:


DOI:

10.1007/978-3-642-17511-4_17



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{Horbach2010,
AUTHOR = {Horbach, Matthias},
EDITOR = {Clarke, Edmund M. and Voronkov, Andrei},
TITLE = {Disunification for Ultimately Periodic Interpretations},
BOOKTITLE = {Logic for Programming, Artificial Intelligence, and Reasoning : 16th International Conference, LPAR-16},
PUBLISHER = {Springer},
YEAR = {2010},
VOLUME = {6355},
PAGES = {290--311},
SERIES = {Lecture Notes in Artificial Intelligence},
ADDRESS = {Dakar, Senegal},
ISBN = {978-3-642-17510-7},
DOI = {10.1007/978-3-642-17511-4_17},
}


Entry last modified by Anja Becker, 02/07/2011
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)
[Library]
Created
12/01/2010 10:41:55 AM
Revisions
2.
1.
0.

Editor(s)
Anja Becker
Matthias Horbach
Matthias Horbach

Edit Dates
07.02.2011 11:13:56
01.12.2010 10:53:46
01.12.2010 10:41:55

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