• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Multiple-Valued Dynamic Source-Coupled Logic.

Takahiro HanyuAkira MochizukiMichitaka Kameyama
Published in: ISMVL (2003)
Keyphrases
  • multiple valued
  • multi valued
  • multiple valued logic
  • file organization
  • modal logic
  • boolean functions
  • complex valued
  • control system
  • classical logic
  • continuous attributes
  • decision diagrams