Keyphrases
- tree automata
- natural deduction
- sequent calculus
- cut elimination
- regular expressions
- automated theorem proving
- finite automata
- proof search
- finite state
- theorem prover
- theorem proving
- finite automaton
- inference rules
- tree languages
- syntactic pattern recognition
- linear logic
- computer algebra
- context free grammars
- pattern matching
- xml schema
- database systems