Generalized buffering of PTL logic stages using Boolean division.
Rajesh GargSunil P. KhatriPublished in: ISCAS (2006)
Keyphrases
- multi valued
- boolean logic
- logic programming
- propositional logic
- nonmonotonic logics
- real valued
- modal logic
- automated reasoning
- truth table
- boolean functions
- multistage
- classical logic
- data sets
- belief revision
- computational properties
- logic programs
- predicate logic
- formal theory
- epistemic logic
- asynchronous circuits
- information systems