- Authors
- Claus-Peter Wirth
- Title
- Positive/Negative-Conditional Equations: A
Constructor-Based Framework for Specification and Inductive Theorem Proving
- In
- PhD thesis, ISBN 3-86064-551-X, Verlag Dr. Kovac, Hamburg, 1997,
Bibtex Entry
- Copyright Owner
- Verlag Dr. Kovac
- Abstract
-
- Format
- .ps.gz
- Size
- .02 Mbytes