Login / Signup

A Kleene characterization of computability.

Joost Engelfriet
Published in: Inf. Process. Lett. (2007)
Keyphrases
  • propositional logic
  • regular expressions
  • databases
  • low level