Quasi-boolean encodings and conditionals in algebraic specification.

Razvan Diaconescu

Published in: J. Log. Algebraic Methods Program. (2010)

Keyphrases

real valued
boolean functions
high level
higher order
belief revision
formal verification
conditional logic
databases
user defined
modal logic
formal specification
asynchronous circuits
algebraic structure
inheritance reasoning