A simple circuit with dynamic logic architecture of basic logic gates

Isaac Campos-Cantón J. A. Pecina-Sánchez Eric Campos-Cantón Haret C. Rosu

Published in: CoRR (2010)

Keyphrases

dynamic logic
logic circuits
modal logic
propositional dynamic logic
real time
multiple input
imperative programs
logic synthesis
reasoning about actions
delay insensitive
modal operators
digital circuits
high speed
management system
knowledge base
artificial intelligence
machine learning