| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 3746410 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3781126 (Why is no real title available?) | 1982-01-01 | Paper |
A syntax-free semantics for the APL operators
Information Processing Letters | 1982-01-01 | Paper |
Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation
SIAM Journal on Computing | 1980-01-01 | Paper |
Vector Iteration in Pointed Iterative Theories
SIAM Journal on Computing | 1980-01-01 | Paper |
On new roles for categorical algebra
Journal of Pure and Applied Algebra | 1980-01-01 | Paper |
A semantically meaningful characterization of reducible flowchart schemes
Theoretical Computer Science | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3639119 (Why is no real title available?) | 1979-01-01 | Paper |
On the algebraic structure of rooted trees
Journal of Computer and System Sciences | 1978-01-01 | Paper |
On the many facets of lists
Theoretical Computer Science | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3581614 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3598613 (Why is no real title available?) | 1977-01-01 | Paper |
The existence and construction of free iterative theories
Journal of Computer and System Sciences | 1976-01-01 | Paper |
Matricial theories
Journal of Algebra | 1976-01-01 | Paper |
Structured Programming With and Without go to Statements
IEEE Transactions on Software Engineering | 1976-01-01 | Paper |
Erratum and Corrigendum for "Structured Programming With and Without GO TO Statements"
IEEE Transactions on Software Engineering | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3512082 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3438415 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3362974 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3335016 (Why is no real title available?) | 1970-01-01 | Paper |
The common algebraic structure of exit-automata and machines
Computing | 1970-01-01 | Paper |
Sets recognized by n-tape automata
Journal of Algebra | 1969-01-01 | Paper |
ITERATION AND RECURSION
Proceedings of the National Academy of Sciences | 1968-01-01 | Paper |
Decidability and undecidability of extensions of second (first) order theory of (generalized) successor
Journal of Symbolic Logic | 1966-01-01 | Paper |
On Relations Defined by Generalized Finite Automata
IBM Journal of Research and Development | 1965-01-01 | Paper |
A Perspective View of Discrete Automata and Their Design
The American Mathematical Monthly | 1965-01-01 | Paper |
Random-Access Stored-Program Machines, an Approach to Programming Languages
Journal of the ACM | 1964-01-01 | Paper |
RS -Machines with Almost Blank Tape
Journal of the ACM | 1964-01-01 | Paper |
| Decision Problems of Finite Automata Design and Related Arithmetics | 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 |
