Electronic Proceedings Article
@InProceedings
Internet-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):

Hillenbrand, Thomas

dblp



Editor(s):

Sattler, Ulrike

dblp

Not MPII Editor(s):

Sattler, Ulrike

BibTeX cite key*:

Hillenbrand2004

Title, Conference

Title*:

A Superposition View on Nelson-Oppen


NOSup.ps (103.71 KB)

Booktitle*:

Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning

Event Address*:

Cork, Ireland

URL of the conference:

http://4c.ucc.ie/ijcar/

Event Date*:
(no longer used):


URL for downloading the paper:

http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-106/04-hillenbrand.ps

Event Start Date:

4 August 2004

Event End Date:

8 August 2004

Language:

English

Organization:


Publisher

Publisher's Name:

CEUR

Publisher's URL:

http://ceur-ws.org

Address*:

Aachen

Type:


Vol, No, pp., Year

Series:

CEUR Workshop Proceedings

Volume:

106

Number:


Month:

July

Pages:

16-20



Sequence Number:


Year*:

2004

ISBN/ISSN:

1613-0073





Abstract, Links, ©

URL for Reference:


Note:


(LaTeX) Abstract:


URL for the Abstract:




Tags, Categories, Keywords:


HyperLinks / References / URLs:


Copyright Message:


Personal Comments:


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{Hillenbrand2004,
AUTHOR = {Hillenbrand, Thomas},
EDITOR = {Sattler, Ulrike},
TITLE = {A Superposition View on {Nelson-Oppen}},
BOOKTITLE = {Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning},
PUBLISHER = {CEUR},
YEAR = {2004},
VOLUME = {106},
PAGES = {16--20},
SERIES = {CEUR Workshop Proceedings},
ADDRESS = {Cork, Ireland},
MONTH = {July},
ISBN = {1613-0073},
}


Entry last modified by Anja Becker, 02/02/2005
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)
Thomas Hillenbrand
Created
08/02/2004 05:19:44 PM
Revisions
2.
1.
0.

Editor(s)
Anja Becker
Anja Becker
Thomas Hillenbrand

Edit Dates
02.02.2005 13:55:40
02.02.2005 13:52:24
08/02/2004 05:19:44 PM

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

View attachments here:


File Attachment Icon
NOSup.ps