A Logical Characterisation of Linear Time on Nondeterministic Turing Machines.

Clemens Lautemann, Nicole Schweikardt, Thomas Schwentick

Browse the full STACS paper archive.