Sign in

Effectivity Questions for Kleene's Recursion Theorem.

John CaseSanjay JainFrank Stephan
Published in: LFCS (2013)
Keyphrases
  • propositional logic
  • regular expressions
  • deductive databases
  • information systems
  • von neumann
  • database
  • real time
  • data sets
  • artificial intelligence
  • multiscale
  • complex objects
  • datalog programs
  • open domain