Positive/Negative-Conditional Equations . A Constructor-Based Framework for Specification and Inductive Theorem Proving

Constructor

von Claus-Peter Wirth

Broschiert

ISBN-13: 978-3-86064-551-2

ISBN-10: 3-86064-551-X

Verlag Dr. Kovac · 1997