| Publication | Date of Publication | Type |
|---|
| Data type specification | 2014-03-14 | Paper |
| Parameter passing in algebraic specification languages | 1984-01-01 | Paper |
| Recursion and iteration in continuous theories: the M-construction | 1983-01-01 | Paper |
| P-varieties - a signature independent characterization of varieties of ordered algebras | 1983-01-01 | Paper |
| Finitary quasi-varieties | 1982-01-01 | Paper |
| Data Type Specification: Parameterization and the Power of Specification Techniques | 1982-01-01 | Paper |
| More on advice on structuring compilers and proving them correct | 1981-01-01 | Paper |
| Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3906461 | 1980-01-01 | Paper |
| Vector Iteration in Pointed Iterative Theories | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3851612 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4199499 | 1979-01-01 | Paper |
| A uniform approach to inductive posets and inductive closure | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4176939 | 1978-01-01 | Paper |
| Initial Algebra Semantics and Continuous Algebras | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4149772 | 1977-01-01 | Paper |
| Parallel realization of systems, using factorizations and quotients in categories | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4134935 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4063610 | 1975-01-01 | Paper |
| Characterization of recursively enumerable sets | 1972-01-01 | Paper |
| Generalized finite automata theory with an application to a decision problem of second-order logic | 1968-01-01 | Paper |
| Generalized finite automata theory with an application to a decision problem of second-order logic | 1968-01-01 | Paper |
| Algebraic automata and context-free sets | 1967-01-01 | Paper |
| Automata in general algebras | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5508686 | 1963-01-01 | Paper |
| Sequence generators, graphs, and formal languages | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5522206 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5508284 | 1961-01-01 | Paper |
| Quantifier elimination in a problem of logical design | 1959-01-01 | Paper |
| Series-parallel graphs and lattices | 1959-01-01 | Paper |
| Invariants of the Anti-Automorphisms of a Group | 1958-01-01 | Paper |
| Realization of Events by Logical Nets | 1958-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5526993 | 1958-01-01 | Paper |
| The theory of proportionality as an abstraction of group theory | 1955-01-01 | Paper |
| Quasi-projective geometry of two dimensions | 1954-01-01 | Paper |
| An Analysis of a Logical Machine Using Parenthesis-Free Notation | 1954-01-01 | Paper |
| Complete Decoding Nets: General Theory and Minimality | 1954-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5527003 | 1953-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5730442 | 1953-01-01 | Paper |
