Minimization for Kleene-Stone Logic Functions.

Noboru Takagi Kyoichi Nakashima Masao Mukaidono

Published in: ISMVL (1994)

Keyphrases

multi valued
logic programming
modal logic
propositional logic
classical logic
logic synthesis
database
database systems
objective function
regular expressions
convex functions
probabilistic logic
predicate logic