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
2013ANU Authors
Field of Research
- Applied Discrete Mathematics