Login / Signup
TLSim and EVC: a term-level symbolic simulator and an efficient decision procedure for the logic of equality with uninterpreted functions and memories.
Miroslav N. Velev
Randal E. Bryant
Published in:
Int. J. Embed. Syst. (2005)
Keyphrases
</>
decision making
decision rules
high level
decision problems
levels of abstraction
multi valued
data sets
proof procedure
decision trees
programming language
decision makers
logic programming
classical logic