The delay of synchronous logic nets.

Herschel H. Loomis Jr.

Published in: ACM National Conference (1964)

Keyphrases

modal logic
logic programming
data sets
multi valued
classical logic
computational properties
predicate logic
situation calculus
automated reasoning
defeasible logic
epistemic logic
sound and complete axiomatization