Electronic Proceedings Article
@InProceedings
Internet-Beitrag in Tagungsband, Workshop


Show entries of:

this year (2024) | last year (2023) | two years ago (2022) | Notes URL

Action:

login to update
Options:








Author, Editor
Author(s):
Hillenbrand, Thomasdblp
Editor(s):
Sattler, Ulrikedblp
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

File Attachment Icon
NOSup.ps