Unate Cellular Logic.

Amar Mukhopadhyay

Published in: IEEE Trans. Computers (1969)

Keyphrases

logic programming
cellular automata
modal logic
automated reasoning
predicate logic
database
classical logic
asynchronous circuits
machine learning
multi valued
set theory
dynamic logic
proof theory
artificial intelligence
defeasible logic