Formalizing Graph Trail Properties in Isabelle/HOL

Kovács, Laura; Lachnitt, Hanna; Szeider, Stefan

by Laura Kovács, Hanna Lachnitt, Stefan Szeider

Reference:

Formalizing Graph Trail Properties in Isabelle/HOLLaura Kovács, Hanna Lachnitt, Stefan Szeider2020, Technical report AC-TR-20-012, Algorithms and Complexity Group, TU Wien.

Bibtex Entry:

@TechReport{KovacsLachnitSzeider20tr,
  author    = {Laura Kov{\'{a}}cs and
               Hanna Lachnitt and
               Stefan Szeider},
  title     = {Formalizing Graph Trail Properties in Isabelle/HOL},
  institution  = {Algorithms and Complexity Group, TU Wien},
  year         = {2020},
  number       = {AC-TR-20-012},
  url          = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-20-012.pdf},
}