A Logical Characterisation of Linear Time on Nondeterministic Turing Machines.

Clemens Lautemann Nicole Schweikardt Thomas Schwentick

Published in: STACS (1999)

Keyphrases

turing machine
worst case
finite automata
logical representation
logical operations
databases
image segmentation
three dimensional
expert systems
state space