Compact Bracket Abstraction in Combinatory Logic.
Sabine BrodaLuís DamasPublished in: J. Symb. Log. (1997)
Keyphrases
- logic programming
- predicate logic
- sound and complete axiomatization
- bounded model checking
- high level
- modal logic
- nonmonotonic logics
- asynchronous circuits
- multi valued
- similarity measure
- data mining
- automated reasoning
- data abstraction
- deontic logic
- proof theory
- delay insensitive
- logic synthesis
- knowledge base
- information systems