Proceedings Volume
@Proceedings
Tagungsband, Workshopband


Show entries of:

this year (2021) | last year (2020) | two years ago (2019) | 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