Sequential Machine Implementations Using Universal Logic Modules.

A. E. A. Almaini

Published in: IEEE Trans. Computers (1978)

Keyphrases

multi valued
logic programming
modal logic
asynchronous circuits
building blocks
probabilistic logic
classical logic
predicate logic
functional modules
delay insensitive
cell formation
proof theory
sequential search
modular architecture
turing machine
databases
computational properties
multi agent