Hierarchic Superposition: Completeness without Compactness

Citation

Baumgartner, P & Waldmann, U 2013, 'Hierarchic Superposition: Completeness without Compactness', Fifth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2013), ed. Marek Kosta and Thomas Sturm, Birkhaeuser, Germany, pp. 8-12.

Year

2013

ANU Authors

Field of Research

  • Applied Discrete Mathematics

Updated:  29 October 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers