Superposition for Fixed Domains

Horbach, Matthias; Weidenbach, Christoph

doi:10.1007/978-3-540-87531-4_22

Local TagsRelease HistoryDetailsSummary

Superposition for Fixed Domains

Horbach, M., & Weidenbach, C. (2008). Superposition for Fixed Domains. In M. Kaminski, & S. Martini (Eds.), Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL (pp. 293-307). Berlin: Springer.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-1D18-2 Version Permalink: https://hdl.handle.net/21.11116/0000-000E-3398-D

Genre: Conference Paper

Files

show Files

Locators

show

Creators

show

hide

Creators:
Horbach, Matthias¹, Author
Weidenbach, Christoph¹, Author

Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545

Content

show

Details

show

hide

Language(s): eng - English

Dates: Modified: 2009-03-25Date issued: 2008

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 428106
DOI: 10.1007/978-3-540-87531-4_22
URI: http://dx.doi.org/10.1007/978-3-540-87531-4_22
Other: Local-ID: C125756E0038A185-FF87221C4DBD886CC12575380042F020-HorbachWeidenbachCSL08

Degree: -

Event

show

hide

Title: Untitled Event

Place of Event: Bertinoro, Italy

Start-/End Date: 2008-09-16 - 2008-09-19

Legal Case

show

Project information

show

Source 1

show

hide

Title: Computer Science Logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL

Source Genre: Proceedings

Creator(s):
Kaminski, Michael, Editor
Martini, Simone, Editor

Affiliations:
-

Publ. Info: Berlin : Springer

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 293 - 307 Identifier: ISBN: 978-3-540-87530-7

Source 2

show

hide

Title: Lecture Notes in Computer Science

Source Genre: Series

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: - Identifier: -