Keyphrases
- cellular automata
- theorem proving
- finite automata
- formal proof
- lattice gas
- finite state
- tree automata
- interactive theorem proving
- probabilistic automata
- timed automata
- natural deduction
- finite state machines
- theorem prover
- multi agent systems
- mathematical knowledge
- data structure
- automated theorem provers
- mathematical proofs
- decision trees