Model Elimination without Contrapositives and its Application to PTTP
Koblenz: Universität Koblenz-Landau, Fachbereich Informatik 1993 S. 1 - 23 (Fachberichte Informatik ; 12/93)
Erscheinungsjahr: 1993
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
| Geprüft: | Bibliothek |
