Keyphrases
- theorem prover
- natural deduction
- timed automata
- theorem proving
- inference rules
- first order logic
- cellular automata
- higher order logic
- finite automata
- finite state
- regular expressions
- sequent calculus
- learning algorithm
- probabilistic automata
- database
- pairwise
- database systems
- machine learning
- finite state machines
- data sets
- real time