Finite Instantiations in Equivalence Logic with Uninterpreted Functions.

Yoav Rodeh Ofer Strichman

Published in: CAV (2001)

Keyphrases

multi valued
data model
data sets
computational properties
predicate logic
aggregation functions
modal logic
automated reasoning
linear temporal logic