Formalizing Graph Trail Properties in Isabelle/HOL

Laura Kovács, Hanna Lachnitt, Stefan Szeider
January 2020
bib Project Project

Abstract

Full Citation:

Laura Kovács, Hanna Lachnitt, Stefan Szeider. Formalizing Graph Trail Properties in Isabelle/HOL. Intelligent Computer Mathematics - 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings (Christoph Benzmüller, Bruce R. Miller, eds.), volume 12236 of Lecture Notes in Computer Science, pages 190–205, 2020, Springer Verlag.

Type
Conference Paper
Reveal Slim
Stefan Szeider
Stefan Szeider
Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.