Modular proof systems for partial functions with Evans equality
Information and Computation. Bd. 204. H. 10. Amsterdam: Elsevier 2006 S. 1453 - 1492
Erscheinungsjahr: 2006
ISBN/ISSN: 1090-2651
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
Doi/URN: 10.1016/j.ic.2005.10.002
| Geprüft | Bibliothek |
