Hierarchic Superposition: Completeness without Compactness

Peter Baumgartner, Uwe Waldmann

Research output: Contribution to journal › Meeting Abstract

Original language	English
Pages (from-to)	8-12
Journal	Hierarchic Superposition: Completeness without Compactness
DOIs	https://doi.org/~baumgart/publications/peter-2013.html#Baumgartner:Waldmann:HSPCompletenessWithoutCompactness:MACIS:2013
Publication status	Published - 2013
Event	Fifth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2013) - Nanning, China Duration: 1 Jan 2013 → …

Access to Document

@article{90e8c96bd6574c688fe638456014cb4e,

title = "Hierarchic Superposition: Completeness without Compactness",

author = "Peter Baumgartner and Uwe Waldmann",

year = "2013",

doi = "\textasciitilde{}baumgart/publications/peter-2013.html\#Baumgartner:Waldmann:HSPCompletenessWithoutCompactness:MACIS:2013",

language = "English",

pages = "8--12",

journal = "Hierarchic Superposition: Completeness without Compactness",

publisher = "Birkhauser",

note = "Fifth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2013) ; Conference date: 01-01-2013",

}

TY - JOUR

T1 - Hierarchic Superposition: Completeness without Compactness

AU - Baumgartner, Peter

AU - Waldmann, Uwe

PY - 2013

Y1 - 2013

U2 - ~baumgart/publications/peter-2013.html#Baumgartner:Waldmann:HSPCompletenessWithoutCompactness:MACIS:2013

DO - ~baumgart/publications/peter-2013.html#Baumgartner:Waldmann:HSPCompletenessWithoutCompactness:MACIS:2013

M3 - Meeting Abstract

SP - 8

EP - 12

JO - Hierarchic Superposition: Completeness without Compactness

JF - Hierarchic Superposition: Completeness without Compactness

T2 - Fifth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2013)

Y2 - 1 January 2013

ER -