Login / Signup
Infinitary and Cyclic Proof Systems for Transitive Closure Logic.
Liron Cohen
Reuben N. S. Rowe
Published in:
CoRR (2018)
Keyphrases
</>
transitive closure
expressive power
distributed computation
management system
nearest neighbor
machine learning
data analysis
object oriented
distributed systems
markov chain
first order logic
constraint databases
recursive queries