Login / Signup

Multi-valued Simulation and Abstraction Using Lattice Operations.

Stefan VijzelaarWan J. Fokkink
Published in: ACM Trans. Embed. Comput. Syst. (2017)
Keyphrases
  • multi valued
  • single valued
  • valued logic
  • multiple valued
  • normal form
  • truth values
  • database systems