Keyphrases
- pipeline architecture
- hardware implementation
- classical logic
- modal logic
- predicate logic
- logic programming
- proof theory
- sound and complete axiomatization
- data structure
- asynchronous circuits
- multi valued
- computational properties
- defeasible logic
- publish subscribe
- logical framework
- formal theory
- information retrieval
- automated reasoning
- efficient implementation
- programming language
- social networks