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):
Ranise, Silvio
Ringeissen, Christophe
Editor(s):
Wolter, Frankdblp
BibTeX cite key*:
TranFrocos2007
Title, Booktitle
Title*:
Combining Proof Producing Decision Procedures
Booktitle*:
7th Symphosium on Frontiers of Combining Systems (Frocos'07)
Event, URLs
Conference URL::
http://www.csc.liv.ac.uk/~frocos07/
Downloading URL:
Event Address*:
Liverpool, UK
Language:
English
Event Date*
(no longer used):
Organization:
Event Start Date:
10 September 2007
Event End Date:
12 September 2007
Publisher
Name*:
Springer
URL:
Address*:
Germany
Type:
Vol, No, Year, pp.
Series:
Lecture Notes in Artificial Intelligence
Volume:
4720
Number:
Month:
Pages:
237-251
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{TranFrocos2007,
AUTHOR = {Tran, Duc-Khanh},
EDITOR = {Wolter, Frank},
TITLE = {Combining Proof Producing Decision Procedures},
BOOKTITLE = {7th Symphosium on Frontiers of Combining Systems (Frocos'07)},
PUBLISHER = {Springer},
YEAR = {2007},
VOLUME = {4720},
PAGES = {237--251},
SERIES = {Lecture Notes in Artificial Intelligence},
ADDRESS = {Liverpool, UK},
}


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:03:09 AM
Revision
0.



Editor
Duc-Khanh Tran



Edit Date
01/10/2008 10:03:09 AM