Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
1 result

L-Recursion and a new Logic for Logarithmic Space

Martin Grohe ; Berit Grußien ; André Hernich ; Bastian Laubner.
We extend first-order logic with counting by a new operator that allows it to formalise a limited form of recursion which can be evaluated in logarithmic space. The resulting logic LREC has a data complexity in LOGSPACE, and it defines LOGSPACE-complete problems like deterministic reachability and&nbsp;[&hellip;]
Published on March 13, 2013
Volume 9, Issue 1
  • < Previous
  • 1
  • Next >