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

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