Cyclic Proofs and Jumping Automata.
Denis KuperbergLaureline PinaultDamien PousPublished in: FSTTCS (2019)
Keyphrases
- cellular automata
- finite automata
- theorem proving
- formal proofs
- finite state
- timed automata
- regular expressions
- equational theories
- natural deduction
- theorem prover
- databases
- relational databases
- probabilistic automata
- lattice gas
- database
- finite state machines
- computer programs
- decision procedures
- data structure
- turing machine
- multi agent
- neural network