Turning inductive into equational specifications

by Stefan Berghofer , Lukas Bulwahn , Florian Haftmann , Technische Universität München
Citations:8 - 6 self

Document Versions

Turning inductive into equational specifications –Stefan Berghofer, Lukas Bulwahn, Florian Haftmann, Technische Universität München
F.: Turning inductive into equational specifications –Stefan Berghofer, Lukas Bulwahn, Florian Haftmann, Technische Universität München — 2009 — In: TPHOLs’09. LNCS