Exploring the abyss in Kleene's computability theory.

Published in: CoRR (2023)

Keyphrases

theoretical basis
theoretical framework
formal theory
databases
artificial intelligence
search engine
computational model
information theory
propositional logic
cooperative
natural language
control system