| Publication | Date of Publication | Type |
|---|
Generic induction proofs
Conditional Term Rewriting Systems | 2023-03-09 | Paper |
Expander2: program verification between interaction and automation
Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
From grammars and automata to algebras and coalgebras
Algebraic Informatics | 2011-07-08 | Paper |
Formal Methods in Software and Systems Modeling
Lecture Notes in Computer Science | 2005-12-02 | Paper |
| scientific article; zbMATH DE number 1993587 (Why is no real title available?) | 2003-10-21 | Paper |
| scientific article; zbMATH DE number 1368956 (Why is no real title available?) | 2001-04-01 | Paper |
Swinging types=functions+relations+transition systems
Theoretical Computer Science | 2000-08-21 | Paper |
Inductive theorem proving for design specifications
Journal of Symbolic Computation | 1996-07-18 | Paper |
| scientific article; zbMATH DE number 193539 (Why is no real title available?) | 1993-06-05 | Paper |
| Deduction and Declarative Programming | 1993-01-23 | Paper |
Inductive expansion: A calculus for verifying and synthesizing functional and logic programs
Journal of Automated Reasoning | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4102511 (Why is no real title available?) | 1988-01-01 | Paper |
The equational theory of parameterized specifications
Information and Computation | 1988-01-01 | Paper |
Parameter-preserving data type specifications
Journal of Computer and System Sciences | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4035204 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3898211 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3880082 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3833280 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3808936 (Why is no real title available?) | 1983-01-01 | Paper |
Algebraic implementation of abstract data types
Theoretical Computer Science | 1982-01-01 | Paper |
Graph grammars and operational semantics
Theoretical Computer Science | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3716762 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3688683 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3679167 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3690670 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3640851 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3651722 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3631954 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3594631 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3727664 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3551869 (Why is no real title available?) | 1977-01-01 | Paper |
