A Simple Circuit with Dynamic Logic Architecture of Basic Logic Gates.
Isaac Campos-CantónJ. A. Pecina-SánchezEric Campos-CantónHaret C. RosuPublished in: Int. J. Bifurc. Chaos (2010)
Keyphrases
- dynamic logic
- logic circuits
- modal logic
- propositional dynamic logic
- management system
- reasoning about actions
- logic synthesis
- imperative programs
- modal operators
- classical first order logic
- real time
- multiple input
- asynchronous circuits
- reasoning engine
- digital circuits
- nonmonotonic logics
- software architecture
- logic programming