From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions.
Herman GeuversIris LoebPublished in: MFCS (2006)
Keyphrases
- theorem proving
- theorem prover
- automated theorem proving
- automated theorem provers
- inference rules
- proof search
- graph matching
- graph theoretic
- graph theory
- visual representations
- graph structure
- proof procedure
- linear logic
- bipartite graph
- weighted graph
- knowledge sharing
- information sharing
- chain graphs
- graphical models
- structured objects
- graph databases
- series parallel
- graph structures
- share information
- graph clustering
- spanning tree
- graph mining
- data sharing
- first order logic