Login / Signup
Program Equivalence by Circular Reasoning.
Dorel Lucanu
Vlad Rusu
Published in:
IFM (2013)
Keyphrases
</>
reasoning systems
hough transform
knowledge base
meta level
automated reasoning
knowledge representation and reasoning
knowledge representation
reasoning process
program execution
neural network
case based reasoning
probabilistic reasoning
static analysis
formal models
model based reasoning
logical reasoning