Keyphrases
- boyer moore
- pattern matching
- intuitionistic logic
- sliding window
- classical logic
- modal logic
- search algorithm
- multi valued
- logic programming
- predicate logic
- automated reasoning
- defeasible logic
- real time
- case study
- delay insensitive
- digital topology
- natural deduction
- asynchronous circuits
- formal language
- set theory
- database
- logical framework