| Publication | Date of Publication | Type |
|---|
Outer billiards in the spaces of oriented geodesics of the three-dimensional space forms
Journal of the London Mathematical Society. Second Series | 2024-06-24 | Paper |
SIC-POVMs from Stark units: Prime dimensions n^2+3
(available as arXiv preprint) | 2021-12-10 | Paper |
| scientific article; zbMATH DE number 176238 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 4047163 (Why is no real title available?) | 1986-01-01 | Paper |
Eliminating null rules in linear time
The Computer Journal | 1981-01-01 | Paper |
An Improved Context-Free Recognizer
ACM Transactions on Programming Languages and Systems | 1980-01-01 | Paper |
On equivalence of grammars through transformation trees
Theoretical Computer Science | 1979-01-01 | Paper |
A hierarchy of deterministic languages
Journal of Computer and System Sciences | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3639163 (Why is no real title available?) | 1978-01-01 | Paper |
On LR(k) grammars and languages
Theoretical Computer Science | 1977-01-01 | Paper |
Characteristic parsing: A framework for producing compact deterministic parsers. II
Journal of Computer and System Sciences | 1977-01-01 | Paper |
Normal forms of deterministic grammars
Discrete Mathematics | 1977-01-01 | Paper |
Characteristic parsing: A framework for producing compact deterministic parsers. I
Journal of Computer and System Sciences | 1977-01-01 | Paper |
Protection in operating systems
Communications of the ACM | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3573276 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3527801 (Why is no real title available?) | 1975-01-01 | Paper |
On the Parsing of Deterministic Languages
Journal of the ACM | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3487014 (Why is no real title available?) | 1974-01-01 | Paper |
Mutually divisible semigroups
Discrete Mathematics | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3570363 (Why is no real title available?) | 1974-01-01 | Paper |
Strict deterministic grammars
Journal of Computer and System Sciences | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3415399 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3515012 (Why is no real title available?) | 1973-01-01 | Paper |
On the Number of Classes of Binary Matrices
IEEE Transactions on Computers | 1973-01-01 | Paper |
Canonical Precedence Schemes
Journal of the ACM | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3440021 (Why is no real title available?) | 1973-01-01 | Paper |
On the Covering and Reduction Problems for Context-Free Grammars
Journal of the ACM | 1972-01-01 | Paper |
Real-Time Strict Deterministic Languages
SIAM Journal on Computing | 1972-01-01 | Paper |
A Grammatical Characterization of One-Way Nondeterministic Stack Languages
Journal of the ACM | 1971-01-01 | Paper |
On the closure of AFL under reversal
Information and Control | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3307608 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3336831 (Why is no real title available?) | 1969-01-01 | Paper |
Decomposition of linear sequential machines
Mathematical Systems Theory | 1969-01-01 | Paper |
On the cycle index of a product of permutation groups
Journal of Combinatorial Theory | 1968-01-01 | Paper |
Multi-tape and multi-head pushdown automata
Information and Control | 1968-01-01 | Paper |
One-way nondeterministic real-time list-storage languages
Journal of the ACM | 1968-01-01 | Paper |
Infinite linear sequential machines
Journal of Computer and System Sciences | 1968-01-01 | Paper |
On the elimination of endmarkers
Information and Control | 1968-01-01 | Paper |
On Equivalence of State Assignments
IEEE Transactions on Computers | 1968-01-01 | Paper |
Two-way pushdown automata
Information and Control | 1967-01-01 | Paper |
Bracketed context-free languages
Journal of Computer and System Sciences | 1967-01-01 | Paper |
Stack automata and compiling
Journal of the ACM | 1967-01-01 | Paper |
One-way stack automata
Journal of the ACM | 1967-01-01 | Paper |
A Numerical Procedure for Determination of the Prime Implicants of a Boolean Function
IEEE Transactions on Electronic Computers | 1967-01-01 | Paper |
| The Number of Isomorphism Types of Finite Algebras | 1966-01-01 | Paper |
The theory of sequential relations
Information and Control | 1966-01-01 | Paper |
On Asymptotic Estimates in Switching and Automata Theory
Journal of the ACM | 1966-01-01 | Paper |
Note on the number of finite algebras
Journal of Combinatorial Theory | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3313249 (Why is no real title available?) | 1965-01-01 | Paper |
A Census of Finite Automata
Canadian Journal of Mathematics | 1965-01-01 | Paper |
On the error correcting capacity of finite automata
Information and Control | 1965-01-01 | Paper |
On the Classification of Boolean Functions by the General Linear and Affine Groups
Journal of the Society for Industrial and Applied Mathematics | 1964-01-01 | Paper |
The Number of Transitivity Sets of Boolean Functions
Journal of the Society for Industrial and Applied Mathematics | 1963-01-01 | Paper |
Algebraic Properties of Symmetric and Partially Symmetric Boolean Functions
IEEE Transactions on Electronic Computers | 1963-01-01 | Paper |
The Number of Classes of Invertible Boolean Functions
Journal of the ACM | 1963-01-01 | Paper |
Detection of Total or Partial Symmetry of a Switching Function with the Use of Decomposition Charts
IEEE Transactions on Electronic Computers | 1963-01-01 | Paper |
On the number of classes of (n,k) switching networks
Journal of the Franklin Institute | 1963-01-01 | Paper |
