Modular Proof Systems for Partial Functions with Weak Equality.
IJCAR. 2004 S. 168 - 182
Erscheinungsjahr: 2004
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/978-3-540-25984-8_10
Geprüft | Bibliothek |
IJCAR. 2004 S. 168 - 182
Erscheinungsjahr: 2004
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/978-3-540-25984-8_10
Geprüft | Bibliothek |