Pattern matching as cut elimination.
Serenella CerritoDelia KesnerPublished in: Theor. Comput. Sci. (2004)
Keyphrases
- pattern matching
- cut elimination
- sequent calculus
- linear logic
- natural deduction
- inference rules
- wide class
- sufficient conditions
- linear time temporal logic
- tree matching
- modal logic
- pattern matching algorithm
- regular expressions
- matching process
- string matching
- proof search
- bit parallel
- boyer moore
- theorem prover
- logical framework
- logic programming
- data structure
- fixed point
- dynamical systems
- matching algorithm
- approximate pattern matching