MPI-INF Logo
Publications

Server    domino.mpi-inf.mpg.de

Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop

Author, Editor
Author(s):
Tran, Duc-Khanhdblp
Not MPG Author(s):
Lynch, Christopher
Editor(s):
Pfenning, Frankdblp
BibTeX cite key*:
TranCade2007
Title, Booktitle
Title*:
Automatic Decidability and Combinability Revisited
Booktitle*:
21st International Conference on Automated Deduction
Event, URLs
Conference URL::
http://www.cs.miami.edu/~geoff/Conferences/CADE//Archive/CADE-21/
Downloading URL:
Event Address*:
Bremen, Germany
Language:
English
Event Date*
(no longer used):
Organization:
Event Start Date:
17 July 2007
Event End Date:
20 July 2007
Publisher
Name*:
Springer
URL:
Address*:
Germany
Type:
Vol, No, Year, pp.
Series:
Lecture Notes in Artificial Intelligence
Volume:
4603
Number:
Month:
Pages:
328-344
Year*:
2007
VG Wort Pages:
ISBN/ISSN:
Sequence Number:
DOI:
Note, Abstract, ©
Download
Access Level:
Public

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Computer Graphics Group
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:

@INPROCEEDINGS{TranCade2007,
AUTHOR = {Tran, Duc-Khanh},
EDITOR = {Pfenning, Frank},
TITLE = {Automatic Decidability and Combinability Revisited},
BOOKTITLE = {21st International Conference on Automated Deduction},
PUBLISHER = {Springer},
YEAR = {2007},
VOLUME = {4603},
PAGES = {328--344},
SERIES = {Lecture Notes in Artificial Intelligence},
ADDRESS = {Bremen, Germany},
}


Entry last modified by Duc-Khanh Tran, 02/28/2008
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)
Duc-Khanh Tran
Created
01/10/2008 10:07:20 AM
Revision
0.



Editor
Duc-Khanh Tran



Edit Date
01/10/2008 10:07:20 AM