Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








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

URL of the conference:


URL for downloading the paper:


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

Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section