Two heads are better than two tapes
Journal of the ACM (JACM)
A time lower bound for satisfiability
Theoretical Computer Science - Automata, languages and programming: Algorithms and complexity (ICALP-A 2004)
A logical characterisation of linear time on nondeterministic turing machines
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
Hi-index | 0.00 |