Login / Signup
A Coinductive Approach to Proving Reachability Properties in Logically Constrained Term Rewriting Systems.
Stefan Ciobaca
Dorel Lucanu
Published in:
CoRR (2018)
Keyphrases
</>
term rewriting systems
state space
logic programs
machine learning
desirable properties
reinforcement learning
query processing
object oriented
general purpose