The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation
Journal of Logic and Computation. Bd. 20. H. 1. Oxford: Oxford University Press 2010 S. 77 - 109
Erscheinungsjahr: 2010
ISBN/ISSN: 1465-363X
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
Doi/URN: 10.1093/logcom/exn061
| Geprüft: | Bibliothek |
