Bounded Combinatory Logic.
Boris DüdderMoritz MartensJakob RehofPawel UrzyczynPublished in: CSL (2012)
Keyphrases
- modal logic
- truth table
- automated reasoning
- classical logic
- real time
- expert systems
- multi valued
- set theory
- asynchronous circuits
- proof theory
- logic synthesis
- np complete
- multi agent
- image sequences
- information systems
- computational properties
- nonmonotonic logics
- logical operations
- deductive reasoning
- artificial intelligence