Login / Signup
First-Order Guarded Coinduction in Coq.
Lukasz Czajka
Published in:
ITP (2019)
Keyphrases
</>
horn clauses
first order logic
theorem prover
higher order
formal methods
fixed point
neural network
term rewriting
linear temporal logic
data sets
inductive logic programming
theorem proving
inference rules
expressive power
bayesian networks
case study
model theoretic
website
e learning
tree decompositions