Effectivity questions for Kleene's recursion theorem.
John CaseSanjay JainFrank StephanPublished in: Theor. Comput. Sci. (2018)
Keyphrases
- propositional logic
- regular expressions
- transitive closure
- data sets
- deductive databases
- intuitionistic logic
- knowledge base
- database systems
- data structure
- von neumann
- answer questions
- information extraction
- search algorithm
- similarity measure
- web services
- information systems
- computer vision
- information retrieval
- machine learning