Formalizing graph trail properties in Isabelle/HOL

DOI10.1007/978-3-030-53518-6_12MaRDI QIDQ6828139zbMATH OpenFDO

Authors Laura Kovács, Hanna Lachnitt, Stefan Szeider

Publication date 20 January 2021

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-53518-6_12

zbMATH Keywords

increasing/decreasing trailsIsabelle/HOLverified theory formalizationweighted graph

Mathematics Subject Classification ID

Signed and weighted graphs (05C22) Paths and cycles (05C38) Formalization of mathematics in connection with theorem provers (68V20)

This page was built for publication: Formalizing graph trail properties in Isabelle/HOL

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6828139)