Duplication of Directed Graphs and Exponential Blow Up of Proofs.

Alessandra Carbone

Published in: Ann. Pure Appl. Log. (1999)

Keyphrases

directed graph
random walk
directed acyclic graph
theorem prover
graph structure
undirected graph
theorem proving
maximum flow
formal proof
efficient computation
strongly connected
equational theories
mathematical proofs
web pages
directed edges
formal proofs
disjoint paths
graph structures
web graph