Login / Signup
Formalizing Graph Trail Properties in Isabelle/HOL.
Laura Kovács
Hanna Lachnitt
Stefan Szeider
Published in:
CoRR (2021)
Keyphrases
</>
theorem prover
natural deduction
graph properties
graph representation
higher order
directed graph
graph theoretic
structured data
graph theory
desirable properties
theorem proving
clustering coefficient
data sets
random walk
graph model