Calculus of structures and proof-nets.
Jean-Baptiste JoinetPublished in: Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
- natural deduction
- provably correct
- automated theorem proving
- sequent calculus
- theorem proving
- cut elimination
- machine learning
- proof search
- hidden markov models
- theorem prover
- proof theoretic
- database
- automated deduction
- structural features
- inference rules
- video sequences
- data structure
- decision making
- search engine
- real world
- databases