Login / Signup
Proof-graphs: a Thorough Cycle Treatment, Normalization and Subformula Property.
Gleifer V. Alves
Anjolina Grisi de Oliveira
Ruy J. G. B. de Queiroz
Published in:
Fundam. Informaticae (2011)
Keyphrases
</>
graph properties
graph matching
automated theorem proving
graph theory
theorem prover
graph mining
normalization method
preprocessing
theorem proving
bipartite graph
linear logic
automated reasoning
random graphs
decision procedures