Obtaining Finite Local Theory Axiomatizations via Saturation.
FroCos. 2013 S. 198 - 213
Erscheinungsjahr: 2013
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/978-3-642-40885-4_14
Geprüft | Bibliothek |
FroCos. 2013 S. 198 - 213
Erscheinungsjahr: 2013
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/978-3-642-40885-4_14
Geprüft | Bibliothek |