György E. Révész
Theoretical Computer Science
For d and k > 2, d-dimensional k-tape Turing machines cannot simulate d-dimensional Turing machines with k heads on l tape in real time. © 1984.
György E. Révész
Theoretical Computer Science
Yvonne Anne Pignolet, Stefan Schmid, et al.
Discrete Mathematics and Theoretical Computer Science
Khalid Abdulla, Andrew Wirth, et al.
ICIAfS 2014
Nanda Kambhatla
ACL 2004