| Publication | Date of Publication | Type |
|---|
Deterministic simulation of non-deterministic Turing machines (detailed abstract)
Proceedings of the first annual ACM symposium on Theory of computing - STOC '69 | 2014-03-14 | Paper |
The software side of computer science -- computer programming
Computer Science | 2014-02-21 | Paper |
| scientific article; zbMATH DE number 1560216 (Why is no real title available?) | 2001-10-21 | Paper |
| Problem solving with C++. The object of programming. | 2001-05-29 | Paper |
| scientific article; zbMATH DE number 1032085 (Why is no real title available?) | 1997-07-07 | Paper |
Why it might pay to assume that languages are infinite
Annals of Mathematics and Artificial Intelligence | 1997-05-11 | Paper |
| scientific article; zbMATH DE number 814898 (Why is no real title available?) | 1995-11-12 | Paper |
| scientific article; zbMATH DE number 730339 (Why is no real title available?) | 1995-03-07 | Paper |
| scientific article; zbMATH DE number 53112 (Why is no real title available?) | 1992-09-18 | Paper |
| scientific article; zbMATH DE number 3999315 (Why is no real title available?) | 1986-01-01 | Paper |
On the power of real-time two-way multihead finite automata with jumps
Information Processing Letters | 1984-01-01 | Paper |
Consistency in nondeterministic storage
Journal of Computer and System Sciences | 1984-01-01 | Paper |
A note on relativized log space
Mathematical Systems Theory | 1983-01-01 | Paper |
Parallel random access machines with powerful instruction sets
Mathematical Systems Theory | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3839323 (Why is no real title available?) | 1981-01-01 | Paper |
Growth functions of stochastic Lindenmayer systems
Information and Control | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3746413 (Why is no real title available?) | 1979-01-01 | Paper |
Time Bounded Random Access Machines with Parallel Processing
Journal of the ACM | 1979-01-01 | Paper |
Hierarchies of recursive computations†
International Journal of Computer Mathematics | 1979-01-01 | Paper |
Programs for instruction machines
Information and Control | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3633720 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3594651 (Why is no real title available?) | 1978-01-01 | Paper |
On inverse deterministic pushdown transductions
Journal of Computer and System Sciences | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3550189 (Why is no real title available?) | 1977-01-01 | Paper |
Recursive turing machines †
International Journal of Computer Mathematics | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3557233 (Why is no real title available?) | 1976-01-01 | Paper |
Ambiguity in the developmental systems of Lindenmayer
Journal of Computer and System Sciences | 1975-01-01 | Paper |
The Turing degree of the inherent ambiguity problem for context-free languages
Theoretical Computer Science | 1975-01-01 | Paper |
Some characterizations of lindenmayer systems in terms of chomsky-type grammars and stack machines
Information and Control | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3490493 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3562529 (Why is no real title available?) | 1973-01-01 | Paper |
Maze recognizing automata and nondeterministic tape complexity
Journal of Computer and System Sciences | 1973-01-01 | Paper |
A note on multihead automata and context-sensitive languages
Acta Informatica | 1973-01-01 | Paper |
How to Make Arbitrary Grammars Look Like Context-Free Grammars
SIAM Journal on Computing | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3558990 (Why is no real title available?) | 1972-01-01 | Paper |
Relationships between nondeterministic and deterministic tape complexities
Journal of Computer and System Sciences | 1970-01-01 | Paper |
