Modular proof systems for partial functions with Evans equality.
Inf. Comput. Bd. 204. H. 10. 2006 S. 1453 - 1492
Erscheinungsjahr: 2006
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1016/j.ic.2005.10.002
Geprüft | Bibliothek |
Inf. Comput. Bd. 204. H. 10. 2006 S. 1453 - 1492
Erscheinungsjahr: 2006
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1016/j.ic.2005.10.002
Geprüft | Bibliothek |