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):
Ghilardi, Silvio
Sattler, Ulrike
Sofronie-Stokkermans, Viorica
Tiwari, Ashish
dblp
dblp
dblp
dblp
Not MPII Editor(s):
Ghilardi, Silvio
Sattler, Ulrike
Tiwari, Ashish

BibTeX citekey*:

Sofronie-Stokkermans-addct07

Language:

English

Title, Conference

Title*:

Automated Deduction: Decidability, Complexity, Tractability (ADDCT'07)



Event Address*:

Bremen, Germany

Conference URL:

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

Event Start Date:

15 July 2007

Event End Date:

15 July 2007
07/15/2007

Event Date*
(no longer used):


Organization:


Publisher

Name*:

Informal proceedings

Publisher's URL:






Address*:

-

Publishing Year*:

2007

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:
popular
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-addct07,
EDITOR = {Ghilardi, Silvio and Sattler, Ulrike and Sofronie-Stokkermans, Viorica and Tiwari, Ashish},
TITLE = {Automated Deduction: Decidability, Complexity, Tractability (ADDCT'07)},
PUBLISHER = {Informal proceedings},
YEAR = {2007},
PAGES = {1--79},
ADDRESS = {Bremen, Germany},
}


Entry last modified by Viorica Sofronie-Stokkermans, 02/28/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)
Viorica Sofronie-Stokkermans
Created
07/05/2007 03:37:19 PM
Revisions
2.
1.
0.

Editor(s)
Viorica Sofronie-Stokkermans
Christine Kiesel
Viorica Sofronie-Stokkermans

Edit Dates
01/09/2008 11:42:53 AM
12.07.2007 09:49:29
07/05/2007 03:37:19 PM

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