Hierarchic Superposition: Completeness without Compactness

Baumgartner, Peter; Waldmann, Uwe

Local TagsRelease HistoryDetailsSummary

Hierarchic Superposition: Completeness without Compactness

Baumgartner, P., & Waldmann, U. (2013). Hierarchic Superposition: Completeness without Compactness. In M. Košta, & T. Sturm (Eds.), Proceedings of the Fifth International Conference on Mathematical Aspects of Computer and System Sciences (pp. 8-12).

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-6C4E-8 Version Permalink: https://hdl.handle.net/21.11116/0000-000E-342D-6

Genre: Conference Paper

Latex : Hierarchic Superposition: {Completeness} without Compactness

Files

show Files

Locators

show

Creators

show

hide

Creators:
Baumgartner, Peter¹, Author
Waldmann, Uwe², Author

Affiliations:
1External Organizations, ou_persistent22
2Automation of Logic, MPI for Informatics, Max Planck Society, Campus E1 4, 66123 Saarbrücken, DE, ou_1116545

Content

show

Details

show

hide

Language(s): eng - English

Dates: Date issued: 2013

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: BaumgartnerWaldmann2013MACIS

Degree: -

Event

show

hide

Title: Fifth International Conference on Mathematical Aspects of Computer and System Sciences

Place of Event: Nanning, China

Start-/End Date: 2013-12-11 - 2013-12-13

Legal Case

show

Project information

show

Source 1

show

hide

Title: Proceedings of the Fifth International Conference on Mathematical Aspects of Computer and System Sciences

Abbreviation : MACIS 2013

Source Genre: Proceedings

Creator(s):
Košta, Marek¹, Editor
Sturm, Thomas¹, Editor

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

Publ. Info: -

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