Modular Proof Systems for Partial Functions with Weak Equality
David Basin; Michaël Rusinowitch (Hrsg). Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings. Berlin: Springer 2004 S. 168 - 182
Erscheinungsjahr: 2004
ISBN/ISSN: 978-3-540-22345-0
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/978-3-540-25984-8_10
| Geprüft: | Bibliothek |
