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

Weidenbach, Christoph
Wischnewski, Patrick

dblp
dblp



Editor(s):





BibTeX cite key*:

WeidenbachWischnewskiCADE08

Title, Booktitle

Title*:

Contextual Rewriting in SPASS

Booktitle*:

PAAR/ESHOL

Event, URLs

URL of the conference:


URL for downloading the paper:


Event Address*:

Sydney, Australien

Language:

English

Event Date*
(no longer used):


Organization:


Event Start Date:

10 August 2008

Event End Date:

11 August 2008

Publisher

Name*:

CEUR-WS.org

URL:


Address*:

RHTW Aachen

Type:


Vol, No, Year, pp.

Series:

CEUR Workshop Proceedings

Volume:

373

Number:


Month:


Pages:

115-124

Year*:

2008

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:

Automation of Logic

Audience:

experts only

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, working group publication list, Fachbeirat, VG Wort



BibTeX Entry:

@INPROCEEDINGS{WeidenbachWischnewskiCADE08,
AUTHOR = {Weidenbach, Christoph and Wischnewski, Patrick},
TITLE = {Contextual Rewriting in {SPASS}},
BOOKTITLE = {PAAR/ESHOL},
PUBLISHER = {CEUR-WS.org},
YEAR = {2008},
VOLUME = {373},
PAGES = {115--124},
SERIES = {CEUR Workshop Proceedings},
ADDRESS = {Sydney, Australien},
}


Entry last modified by Uwe Waldmann, 03/01/2013
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)
Jennifer Müller
Created
01/08/2009 02:07:44 PM
Revision
1.
0.


Editor
Uwe Waldmann
Jennifer Müller


Edit Date
01.03.2013 11:28:34
01/08/2009 02:07:44 PM


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