L-Recursion and a new Logic for Logarithmic Space

Martin Grohe Berit Grußien André Hernich Bastian Laubner

Published in: Log. Methods Comput. Sci. (2012)

Keyphrases

complex objects
real time
worst case
higher dimensional
linear space
real world
search space
inference rules
transitive closure
space requirements
classical logic