Login / Signup
Intensionality, Intensional Recursion and the Gödel-Löb Axiom.
G. A. Kavvos
Published in:
FLAP (2021)
Keyphrases
</>
deductive databases
query evaluation
higher order
social bookmarking
complex objects
modal logic
inference rules
transitive closure
data integration
data sets
machine learning
website