Proceedings Volume
@Proceedings
Tagungsband, Workshopband


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor

Editor(s):

Baader, Franz
Ghilardi, Silvio
Hermann, Miki
Sattler, Ulrike
Sofronie-Stokkermans, Viorica

dblp
dblp
dblp
dblp
dblp

Not MPII Editor(s):

Baader, Franz
Ghilardi, Silvio
Hermann, Miki
Sattler, Ulrike

BibTeX citekey*:

Sofronie-Stokkermans-cedar2008

Language:

English

Title, Conference

Title*:

Complexity, Expressibility, and Decidability in Automated Reasoning (CEDAR'08)



Event Address*:

Sydney, Australia

Conference URL:

http://www.mpi-inf.mpg.de/~sofronie/cedar08.html

Event Start Date:

10 August 2008

Event End Date:

10 August 2008

Event Date*
(no longer used):


Organization:


Publisher

Name*:

Informal proceedings

Publisher's URL:

http://-





Address*:

-

Publishing Year*:

2008

Vol, No, pp., Year

Series:


Volume:


Number:


Month:


Pages*:

1-79

ISBN:


VG Wort Pages:


ISSN:




Abstract, Links, ©

Note:


LaTeX Abstract:


Categories / Keywords:


HyperLinks / References / URLs:


Copyright Message:


Personal Comments:


Download
Access Level:

Public

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Automation of Logic

Audience:

experts only

Appearance:

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



BibTeX Entry:

@PROCEEDINGS{Sofronie-Stokkermans-cedar2008,
EDITOR = {Baader, Franz and Ghilardi, Silvio and Hermann, Miki and Sattler, Ulrike and Sofronie-Stokkermans, Viorica},
TITLE = {Complexity, Expressibility, and Decidability in Automated Reasoning (CEDAR'08)},
PUBLISHER = {Informal proceedings},
YEAR = {2008},
PAGES = {1--79},
ADDRESS = {Sydney, Australia},
}


Entry last modified by Viorica Sofronie-Stokkermans, 03/03/2009
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)
Viorica Sofronie-Stokkermans
Created
08/11/2008 03:53:07 PM
Revision
1.
0.


Editor
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans


Edit Date
08/11/2008 03:54:28 PM
08/11/2008 03:53:07 PM


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