Journal of the ACM (JACM)
Some Results on Tape-Bounded Turing Machines
Journal of the ACM (JACM)
Formal languages and their relation to automata
Formal languages and their relation to automata
On the power of one-way communication
Journal of the ACM (JACM)
Separating Nondeterministic Time Complexity Classes
Journal of the ACM (JACM)
Space Hierarchy Theorem Revised
MFCS '01 Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science
Space hierarchy theorem revised
Theoretical Computer Science - Mathematical foundations of computer science
Reversal complexity of counter machines
STOC '81 Proceedings of the thirteenth annual ACM symposium on Theory of computing
Separating tape bounded auxiliary pushdown automata classes
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
Word problems requiring exponential time(Preliminary Report)
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
A hierarchy for nondeterministic time complexity
STOC '72 Proceedings of the fourth annual ACM symposium on Theory of computing
STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing
Sparse sets in NP-P: Exptime versus nexptime
STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing
On the computational complexity of membrane systems
Theoretical Computer Science
A Recursive Padding Technique on Nondeterministic Cellular Automata
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Journal of Computer and System Sciences
A hierarchy for nondeterministic time complexity
Journal of Computer and System Sciences
On the equivalence, containment, and covering problems for the regular and context-free languages
Journal of Computer and System Sciences
Journal of Computer and System Sciences
A time hierarchy theorem for nondeterministic cellular automata
TAMC'07 Proceedings of the 4th international conference on Theory and applications of models of computation
Algorithms and theory of computation handbook
Hi-index | 0.01 |