Rewriting with Equivalence Relations in ACL2.

Bishop Brock Matt Kaufmann J Strother Moore

Published in: J. Autom. Reason. (2008)

Keyphrases

equivalence relation
rough set theory
rough sets
rough set approximations
granular computing
numerical data
binary relations
concept lattice
fuzzy logic
partial order
databases
decision making
queueing networks
random graphs
stationary distribution