Effectivity Questions for Kleene's Recursion Theorem.

John Case Sanjay Jain Frank 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