Two-dimensional array layout for NMOS 4-phase dynamic logic.

Makoto Furuie Takao Onoye Shuji Tsukiyama Isao Shirakawa

Published in: ICECS (2001)

Keyphrases

dynamic logic
three dimensional
reasoning about actions
modal logic
imperative programs
multi dimensional
iso picture languages
multiple input
programmable logic
propositional dynamic logic
machine learning
high level
training phase
learning phase
preprocessing phase
cf loadingtexthtml