Keyphrases
- theorem prover
- natural deduction
- timed automata
- inference rules
- theorem proving
- first order logic
- cellular automata
- finite automata
- higher order logic
- probabilistic automata
- finite state
- cut elimination
- sequent calculus
- real time
- regular expressions
- data sets
- database
- finite state machines
- hidden markov models
- video sequences
- databases
- finite automaton