MPI-INF Logo
Publications

Server    domino.mpi-inf.mpg.de

Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop

Author, Editor
Author(s):
Kapur, Deepak
Nieuwenhuis, Robert
Voronkov, Andrei
Weidenbach, Christoph
Wilhelm, Reinhard		dblp
dblp
dblp
dblp
dblp
Not MPG Author(s):
Kapur, Deepak
Nieuwenhuis, Robert
Voronkov, Andrei
Wilhelm, Reinhard
Editor(s):
Voronkov, Andrei
Weidenbach, Christoph		dblp
dblp
Not MPII Editor(s):
Voronkov, Andrei
BibTeX cite key*:
VoronkovetAl13
Title, Booktitle
Title*:
Harald Ganzinger's Legacy: Contributions to Logics and Programming
Booktitle*:
Programming Logics
Event, URLs
Conference URL::
Downloading URL:
Event Address*:
Festschrift
Language:
English
Event Date*
(no longer used):
Organization:
Event Start Date:
24 January 2013
Event End Date:
24 January 2014
Publisher
Name*:
Springer
URL:
Address*:
Heidelberg
Type:
Vol, No, Year, pp.
Series:
Volume:
Number:
Month:
Pages:
Year*:
2013
VG Wort Pages:
ISBN/ISSN:
Sequence Number:
DOI:
Note, Abstract, ©
Download
Access Level:
Internal

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:

@INPROCEEDINGS{VoronkovetAl13,
AUTHOR = {Kapur, Deepak and Nieuwenhuis, Robert and Voronkov, Andrei and Weidenbach, Christoph and Wilhelm, Reinhard},
 EDITOR = {Voronkov, Andrei and Weidenbach, Christoph},
 TITLE = {Harald Ganzinger's Legacy: Contributions to Logics and Programming},
 BOOKTITLE = {Programming Logics},
 PUBLISHER = {Springer},
 YEAR = {2013},
 ADDRESS = {Festschrift},
}

Entry last modified by Jennifer Müller, 03/26/2014
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)
[Library]		Created
01/24/2014 15:34:58
Revision
0.



Editor
Jennifer Müller



Edit Date
01/24/2014 03:34:58 PM