Obtaining Finite Local Theory Axiomatizations via Saturation
Pascal Fontaine; Christophe Ringeissen; Renate A. Schmidt (Hrsg). Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings. Berlin: Springer 2013 S. 198 - 213
Erscheinungsjahr: 2013
ISBN/ISSN: 978-3-642-40884-7
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/978-3-642-40885-4_14
| Geprüft | Bibliothek |
