Keyphrases
- micron cmos
- higher order
- logic programming
- classical logic
- high order
- modal logic
- asynchronous circuits
- formal theory
- quantifier free
- proof theory
- artificial intelligence
- defeasible logic
- databases
- sound and complete axiomatization
- rewrite systems
- logic synthesis
- arithmetic operations
- bayesian networks
- computational properties
- real time
- information retrieval
- programming language
- multiscale