English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
 Local TagsRelease HistoryDetailsSummary
  A Superposition View on Nelson-Oppen

Hillenbrand, T. (2004). A Superposition View on Nelson-Oppen. In Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning (pp. 16-20). Aachen: CEUR.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-298E-6 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-298F-4
Genre: Conference Paper

Files

show Files
hide Files
:
NOSup.ps (Any fulltext), 104KB
 
File Permalink:
-
Name:
NOSup.ps
Description:
-
OA-Status:
Visibility:
Private
MIME-Type / Checksum:
application/postscript
Technical Metadata:
Copyright Date:
-
Copyright Info:
-
License:
-

Locators

show

Creators

show
hide
 Creators:
Hillenbrand, Thomas1, 2, 3, Author           
Sattler, Ulrike, Editor
Affiliations:
1International Max Planck Research School, MPI for Informatics, Max Planck Society, ou_1116551              
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              
3Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 2005-02-022004
 Publication Status: Issued
 Pages: -
 Publishing info: Aachen : CEUR
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 231271
Other: Local-ID: C1256104005ECAFC-8EAD4DC962EDE15BC1256EE40054344A-Hillenbrand2004
 Degree: -

Event

show
hide
Title: Untitled Event
Place of Event: Cork, Ireland
Start-/End Date: 2004-08-04

Legal Case

show

Project information

show

Source 1

show
hide
Title: Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning
Source Genre: Proceedings
 Creator(s):
Affiliations:
Publ. Info: Aachen : CEUR
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 16 - 20 Identifier: -

Source 2

show
hide
Title: CEUR Workshop Proceedings
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: - Identifier: ISSN: 1613-0073