L-Recursion and a new Logic for Logarithmic Space.

Martin Grohe Berit Grußien André Hernich Bastian Laubner

Published in: CSL (2011)

Keyphrases

case study
databases
search algorithm
search space
low dimensional
complex objects
higher dimensional
classical logic
neural network
knowledge base
logic programming
deductive databases
proof theory