| Publication | Date of Publication | Type |
|---|
Equations for if-then-else
Lecture Notes in Computer Science | 2023-08-16 | Paper |
Taut monads and \(T0\)-spaces.
Theoretical Computer Science | 2003-05-14 | Paper |
| An Optimization Problem Involving Binomial Coefficients | 2002-11-10 | Paper |
Iteration 2-theories
Applied Categorical Structures | 2002-03-13 | Paper |
| scientific article; zbMATH DE number 1107618 (Why is no real title available?) | 1998-02-16 | Paper |
| scientific article; zbMATH DE number 522862 (Why is no real title available?) | 1994-07-07 | Paper |
| Predicate Transformer Semantics | 1993-09-23 | Paper |
A Cayley Theorem for Boolean Algebras
The American Mathematical Monthly | 1992-06-27 | Paper |
| scientific article; zbMATH DE number 3967883 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3982549 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4047047 (Why is no real title available?) | 1986-01-01 | Paper |
Guard modules
Algebra Universalis | 1985-01-01 | Paper |
Port automata and the algebra of concurrent porcesses
Journal of Computer and System Sciences | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3847631 (Why is no real title available?) | 1983-01-01 | Paper |
A class of fuzzy theories
Journal of Mathematical Analysis and Applications | 1982-01-01 | Paper |
The Pattern-of-Calls Expansion Is the Canonical Fixpoint for Recursive Definitions
Journal of the ACM | 1982-01-01 | Paper |
Parametrized data types do not need highly constrained parameters
Information and Control | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3774868 (Why is no real title available?) | 1981-01-01 | Paper |
Machines in a category
Journal of Pure and Applied Algebra | 1980-01-01 | Paper |
Partially additive categories and flow-diagram semantics
Journal of Algebra | 1980-01-01 | Paper |
Foundations of system theory: The Hankel matrix
Journal of Computer and System Sciences | 1980-01-01 | Paper |
Generalized Hankel Matrices and System Realization
SIAM Journal on Mathematical Analysis | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3690663 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3644513 (Why is no real title available?) | 1979-01-01 | Paper |
Intertwined recursion, tree transformations and linear systems
Information and Control | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3801382 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3642718 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3567033 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3574081 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3549200 (Why is no real title available?) | 1976-01-01 | Paper |
Foundations of system theory: Finitary and infinitary conditions
Lecture Notes in Economics and Mathematical Systems | 1976-01-01 | Paper |
Foundations of system theory: Multidecomposable systems
Journal of the Franklin Institute | 1976-01-01 | Paper |
Adjoint machines, state-behavior machines, and duality
Journal of Pure and Applied Algebra | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3582349 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3479108 (Why is no real title available?) | 1975-01-01 | Paper |
Fuzzy machines in a category
Bulletin of the Australian Mathematical Society | 1975-01-01 | Paper |
A category-theoretic approach to systems in a fuzzy world
Synthese | 1975-01-01 | Paper |
Extensions of Semilattices
The American Mathematical Monthly | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3479107 (Why is no real title available?) | 1975-01-01 | Paper |
Time-Varying Systems
SIAM Journal on Control | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3479109 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3480502 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3479110 (Why is no real title available?) | 1975-01-01 | Paper |
Foundations of system theory: Decomposable systems
Automatica | 1974-01-01 | Paper |
Machines in a Category: An Expository Introduction
SIAM Review | 1974-01-01 | Paper |
On modules over a semiring
Journal of Algebra | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3296290 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3347267 (Why is no real title available?) | 1969-01-01 | Paper |
