Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
1996InterACT. An interactive theorem and completeness prover for algebraic specifications with conditional equations
Klar, M.; Geisler, R.; Cornelius, F.
Conference Paper
1996InterACT. An interactive theorem and completeness prover for algebraic specifications with conditional equations
Klar, M.; Geisler, R.; Cornelius, F.
Conference Paper
1995Parametric algebraic specifications with gentzen formulas - from quasi-freeness to free functor semantics
Löwe, M.; Wolter, U.
Journal Article