Login / Signup
Guided Unfoldings for Finding Loops in Standard Term Rewriting.
Étienne Payet
Published in:
CoRR (2018)
Keyphrases
</>
term rewriting
theorem proving
theorem prover
operational semantics
databases
artificial intelligence
neural network
machine learning
relational databases
rewrite systems