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

Fietzke, Arnaud
Weidenbach, Christoph

dblp
dblp



Editor(s):





BibTeX cite key*:

FietzkeWeidenbachCADE08

Title, Booktitle

Title*:

Labelled Splitting

Booktitle*:

IJCAR

Event, URLs

URL of the conference:


URL for downloading the paper:


Event Address*:

Sydney, Australia

Language:

English

Event Date*
(no longer used):


Organization:


Event Start Date:

12 August 2008

Event End Date:

15 August 2008

Publisher

Name*:

Springer

URL:


Address*:

Berlin/Heidelberg

Type:


Vol, No, Year, pp.

Series:

Lecture Notes in Computer Science

Volume:

5195

Number:


Month:


Pages:

459-474

Year*:

2008

VG Wort Pages:


ISBN/ISSN:

978-3-540-71069-1

Sequence Number:


DOI:




Note, Abstract, ©





Download
Access Level:

Public

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Automation of Logic

Appearance:

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



BibTeX Entry:

@INPROCEEDINGS{FietzkeWeidenbachCADE08,
AUTHOR = {Fietzke, Arnaud and Weidenbach, Christoph},
TITLE = {Labelled Splitting},
BOOKTITLE = {IJCAR},
PUBLISHER = {Springer},
YEAR = {2008},
VOLUME = {5195},
PAGES = {459--474},
SERIES = {Lecture Notes in Computer Science},
ADDRESS = {Sydney, Australia},
ISBN = {978-3-540-71069-1},
}


Entry last modified by Manuel Lamotte-Schubert, 03/25/2011
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 01:54:36 PM
Revisions
2.
1.
0.

Editor(s)
Manuel Lamotte-Schubert
Manuel Lamotte-Schubert
Jennifer Müller

Edit Dates
25.03.2011 09:10:45
15.01.2009 13:59:57
01/08/2009 01:54:36 PM

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