| Publication | Date of Publication | Type |
|---|
Multilevel nested relational structures
Journal of Computer and System Sciences | 1988-01-01 | Paper |
Interactions between dependencies and nested relational structures
Journal of Computer and System Sciences | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3978448 (Why is no real title available?) | 1985-01-01 | Paper |
Succinctness in dependency systems
Theoretical Computer Science | 1983-01-01 | Paper |
Whether a Set of Multivalued Dependencies Implies a Join Dependency is NP-hard
SIAM Journal on Computing | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3902086 (Why is no real title available?) | 1982-01-01 | Paper |
The complexity of recognizing 3NF relation schemes
Information Processing Letters | 1982-01-01 | Paper |
Refining Nondeterminism in Relativized Polynomial-Time Bounded Computations
SIAM Journal on Computing | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3738912 (Why is no real title available?) | 1980-01-01 | Paper |
Real-time computations with restricted nondeterminism
Mathematical Systems Theory | 1979-01-01 | Paper |
Storage reorganization techniques for matrix computation in a paging environment
Communications of the ACM | 1979-01-01 | Paper |
On the sequential nature of functions
Journal of Computer and System Sciences | 1976-01-01 | Paper |
Predecessor machines
Journal of Computer and System Sciences | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3446412 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3454814 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3446411 (Why is no real title available?) | 1974-01-01 | Paper |
Real-Time Simulation of Multihead Tape Units
Journal of the ACM | 1972-01-01 | Paper |
Computational speed-up by effective operators
Journal of Symbolic Logic | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3557248 (Why is no real title available?) | 1972-01-01 | Paper |
Time-restricted sequence generation
Journal of Computer and System Sciences | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3359798 (Why is no real title available?) | 1970-01-01 | Paper |
Quantificational variants on the halting problem for turing machines
Mathematical Logic Quarterly | 1969-01-01 | Paper |
Counter machines and counter languages
Mathematical Systems Theory | 1968-01-01 | Paper |
Multitape one-way nonwriting automata
Journal of Computer and System Sciences | 1968-01-01 | Paper |
The reduction of tape reversals for off-line one-tape Turing machines
Journal of Computer and System Sciences | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3281727 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3283791 (Why is no real title available?) | 1968-01-01 | Paper |
The Solvability of the Halting Problem for 2-State Post Machines
Journal of the ACM | 1967-01-01 | Paper |
Turing machines with a schedule to keep
Information and Control | 1967-01-01 | Paper |
Turing machines with restricted memory access
Information and Control | 1966-01-01 | Paper |
Generation of Primes by a One-Dimensional Real-Time Iterative Array
Journal of the ACM | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3407150 (Why is no real title available?) | 1965-01-01 | Paper |
On Formalisms for Turing Machines
Journal of the ACM | 1965-01-01 | Paper |
| Theory of Provable Recursive Functions | 1965-01-01 | Paper |
Multi-tape and infinite-state automata—a survey
Communications of the ACM | 1965-01-01 | Paper |
| A Note on Bounded-Truth-Table Reducibility | 1963-01-01 | Paper |
