A visibility - oriented construction system for logic diagrams.

Takumi Hasegawa Toshio Kadokura Yoshiaki Fukazawa

Published in: Systems and Computers in Japan (1986)

Keyphrases

real time
logic programming
modal logic
probability theory
construction process
probabilistic logic
predicate logic
asynchronous circuits