| 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 |
Transformations and translations from the point of view of generalized finite automata theory
Proceedings of the first annual ACM symposium on Theory of computing - STOC '69 | 2014-03-14 | Paper |
| scientific article; zbMATH DE number 4039263 (Why is no real title available?) | 1985-01-01 | Paper |
Parameter passing in algebraic specification languages
Theoretical Computer Science | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3821094 (Why is no real title available?) | 1983-01-01 | Paper |
Recursion and iteration in continuous theories: the ''M-construction''
Journal of Computer and System Sciences | 1983-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 |
| scientific article; zbMATH DE number 3714981 (Why is no real title available?) | 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 |
| scientific article; zbMATH DE number 3612415 (Why is no real title available?) | 1978-01-01 | Paper |
A uniform approach to inductive posets and inductive closure
Theoretical Computer Science | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3578887 (Why is no real title available?) | 1977-01-01 | Paper |
Initial Algebra Semantics and Continuous Algebras
Journal of the ACM | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3562490 (Why is no real title available?) | 1976-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 3566140 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3479111 (Why is no real title available?) | 1975-01-01 | Paper |
What Is a Multilevel Array?
IBM Journal of Research and Development | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3372030 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3372029 (Why is no real title available?) | 1970-01-01 | Paper |
Generalized sequential machine maps
Journal of Computer and System Sciences | 1970-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 |
Characterizing derivation trees of context-free grammars through a generalization of finite automata theory
Journal of Computer and System Sciences | 1967-01-01 | Paper |
Decision problems for multiple successor arithmetics
Journal of Symbolic Logic | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3189699 (Why is no real title available?) | 1963-01-01 | Paper |
