Assertion-level Proof Representation with Under-Specification
Electronic Notes in Theoretical Computer Science : ENTCS. Bd. 93. Amsterdam: Elsevier 2004 S. 5 - 23
Erscheinungsjahr: 2004
ISBN/ISSN: 1571-0661
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
Doi/URN: 10.1016/j.entcs.2003.12.026
| Geprüft | Bibliothek |
Inhaltszusammenfassung
Autoren
Autexier, Serge (Autor)
Benzmüller, Christoph (Autor)
Horacek, Helmut (Autor)
Vo, Bao Quoc (Autor)
Klassifikation
DFG Fachgebiet:
Informatik
DDC Sachgruppe:
Mathematik
