| Publication | Date of Publication | Type |
|---|
Algebraic-coalgebraic specification in CoCasl.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
An Algebraic Approach to Regular Sets
Algebra, Meaning, and Computation | 2007-09-07 | Paper |
Algebraic-coalgebraic specification in CoCASL
The Journal of Logic and Algebraic Programming | 2006-04-28 | Paper |
| scientific article; zbMATH DE number 1617307 (Why is no real title available?) | 2001-07-11 | Paper |
| scientific article; zbMATH DE number 1368949 (Why is no real title available?) | 1999-11-24 | Paper |
| scientific article; zbMATH DE number 1368951 (Why is no real title available?) | 1999-11-24 | Paper |
| scientific article; zbMATH DE number 1231636 (Why is no real title available?) | 1999-01-06 | Paper |
An approach to object semantics based on terminal co-algebras
Mathematical Structures in Computer Science | 1997-01-22 | Paper |
| scientific article; zbMATH DE number 938514 (Why is no real title available?) | 1996-10-27 | Paper |
| scientific article; zbMATH DE number 4090771 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4033040 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3956411 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4007699 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3999267 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3880784 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3869407 (Why is no real title available?) | 1984-01-01 | Paper |
Equational partiality
Algebra Universalis | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3810899 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3813699 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3830013 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3754008 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3774858 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3737004 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3685703 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3614202 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3419346 (Why is no real title available?) | 1972-01-01 | Paper |
Kanonische Zerlegung von Funktoren
Mathematische Nachrichten | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3294637 (Why is no real title available?) | 1967-01-01 | Paper |
Zur algebraischen Begründung der Graphentheorie. III
Mathematische Nachrichten | 1966-01-01 | Paper |
