Strong next-time operators for multiple-valued mu-calculus.

Published in: FICS (2002)

Keyphrases

multiple valued
multi valued
multiple valued logic
file organization
decision diagrams
boolean functions
continuous attributes
complex valued