Keyphrases
- pattern matching
- cut elimination
- sequent calculus
- linear logic
- wide class
- natural deduction
- inference rules
- sufficient conditions
- regular expressions
- pattern matching algorithm
- matching process
- modal logic
- string matching
- linear time temporal logic
- bit parallel
- boyer moore
- theorem proving
- tree matching
- approximate pattern matching
- theorem prover
- logical framework
- logic programming
- proof search
- bayesian networks