| Publication | Date of Publication | Type |
|---|
Data type specification, parameterization and the power of specification techniques
Proceedings of the tenth annual ACM symposium on Theory of computing - STOC '78 | 2014-03-14 | Paper |
Parameter passing in algebraic specification languages
Theoretical Computer Science | 1984-01-01 | Paper |
Recursion and iteration in continuous theories: the M-construction
Journal of Computer and System Sciences | 1983-01-01 | Paper |
P-varieties - a signature independent characterization of varieties of ordered algebras
Journal of Pure and Applied Algebra | 1983-01-01 | Paper |
Finitary quasi-varieties
Journal of Pure and Applied Algebra | 1982-01-01 | Paper |
Data Type Specification: Parameterization and the Power of Specification Techniques
ACM Transactions on Programming Languages and Systems | 1982-01-01 | Paper |
More on advice on structuring compilers and proving them correct
Theoretical Computer Science | 1981-01-01 | Paper |
Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation
SIAM Journal on Computing | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3714981 (Why is no real title available?) | 1980-01-01 | Paper |
Vector Iteration in Pointed Iterative Theories
SIAM Journal on Computing | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3640846 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3651738 (Why is no real title available?) | 1979-01-01 | Paper |
A uniform approach to inductive posets and inductive closure
Theoretical Computer Science | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3612415 (Why is no real title available?) | 1978-01-01 | Paper |
Initial Algebra Semantics and Continuous Algebras
Journal of the ACM | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3578887 (Why is no real title available?) | 1977-01-01 | Paper |
Parallel realization of systems, using factorizations and quotients in categories
Journal of the Franklin Institute | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3562490 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3479111 (Why is no real title available?) | 1975-01-01 | Paper |
Characterization of recursively enumerable sets
Journal of Symbolic Logic | 1972-01-01 | Paper |
Generalized finite automata theory with an application to a decision problem of second-order logic
Mathematical Systems Theory | 1968-01-01 | Paper |
Generalized finite automata theory with an application to a decision problem of second-order logic
Mathematical Systems Theory | 1968-01-01 | Paper |
Algebraic automata and context-free sets
Information and Control | 1967-01-01 | Paper |
Automata in general algebras
Information and Control | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3220067 (Why is no real title available?) | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3234424 (Why is no real title available?) | 1962-01-01 | Paper |
Sequence generators, graphs, and formal languages
Information and Control | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3219608 (Why is no real title available?) | 1961-01-01 | Paper |
Quantifier elimination in a problem of logical design
Michigan Mathematical Journal | 1959-01-01 | Paper |
Series-parallel graphs and lattices
Duke Mathematical Journal | 1959-01-01 | Paper |
| scientific article; zbMATH DE number 3239541 (Why is no real title available?) | 1958-01-01 | Paper |
Realization of Events by Logical Nets
Journal of the ACM | 1958-01-01 | Paper |
Invariants of the Anti-Automorphisms of a Group
Proceedings of the American Mathematical Society | 1958-01-01 | Paper |
The theory of proportionality as an abstraction of group theory
Mathematische Annalen | 1955-01-01 | Paper |
An Analysis of a Logical Machine Using Parenthesis-Free Notation
Mathematical Tables and Other Aids to Computation | 1954-01-01 | Paper |
Quasi-projective geometry of two dimensions
Michigan Mathematical Journal | 1954-01-01 | Paper |
Complete Decoding Nets: General Theory and Minimality
Journal of the Society for Industrial and Applied Mathematics | 1954-01-01 | Paper |
| scientific article; zbMATH DE number 3239547 (Why is no real title available?) | 1953-01-01 | Paper |
| scientific article; zbMATH DE number 3194090 (Why is no real title available?) | 1953-01-01 | Paper |
