Compatible cell connections for multifamily dynamic logic gates.

Rolando Ramírez Ortiz John P. Knight

Published in: IEEE Trans. Very Large Scale Integr. Syst. (2002)

Keyphrases

dynamic logic
modal logic
reasoning about actions
imperative programs
classical first order logic
agent programming
propositional dynamic logic
microscope images
sufficient conditions
first order logic
modal operators
logic circuits
logic programming
immune response