MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Baumgartner, Peter
Fuchs, Alexander
Tinelli, Cesare		dblp
dblp
dblp
Not MPG Author(s):
Tinelli, Cesare
Editor(s):
Schulz, Stephan
Tammet, Tanel
Sutcliffe, Geoff		dblp
dblp
dblp
Not MPII Editor(s):
Schulz, Stephan
Tammet, Tanel
Sutcliffe, Geoff
BibTeX cite key*:
Baumgartner:etal:Darwin:ESFOR:2004
Title, Booktitle
Title*:
Darwin: A Theorem Prover for the Model Evolution Calculus
Booktitle*:
Proceedings of the 1st Workshop on Empirically Successful First Order Reasoning (ESFOR'04)
Event, URLs
Conference URL::
Downloading URL:
Event Address*:
Cork, Ireland
Language:
English
Event Date*
(no longer used):
Organization:
Event Start Date:
3 July 2004
Event End Date:
3 July 2004
Publisher
Name*:
UCC
URL:
Address*:
Cork, Ireland
Type:
Vol, No, Year, pp.
Series:
IJCAR 2004 Workshop Proceedings
Volume:
Number:
Month:
Pages:
1-24
Year*:
2004
VG Wort Pages:
30
ISBN/ISSN:
Sequence Number:
DOI:
Note, Abstract, ©
Download
Access Level:
Public

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, CCL bibliography, VG Wort



BibTeX Entry:
@INPROCEEDINGS{Baumgartner:etal:Darwin:ESFOR:2004,
AUTHOR = {Baumgartner, Peter and Fuchs, Alexander and Tinelli, Cesare},
 EDITOR = {Schulz, Stephan and Tammet, Tanel and Sutcliffe, Geoff},
 TITLE = {Darwin: A Theorem Prover for the Model Evolution Calculus},
 BOOKTITLE = {Proceedings of the 1st Workshop on Empirically Successful First Order Reasoning (ESFOR'04)},
 PUBLISHER = {UCC},
 YEAR = {2004},
 PAGES = {1--24},
 SERIES = {IJCAR 2004 Workshop Proceedings},
 ADDRESS = {Cork, Ireland},
}

Entry last modified by Anja Becker, 01/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)
Peter Baumgartner		Created
01/17/2005 01:59:29 PM
Revisions
2.
1.
0.

Editor(s)
Anja Becker
Peter Baumgartner
Peter Baumgartner

Edit Dates
02.02.2005 11:54:19
01/17/2005 02:05:36 PM
01/17/2005 01:59:29 PM