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. VelevRandal 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