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 SzeiderIntelligent 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.

Bibtex Entry:

@string{lncs="Lecture Notes in Computer Science"}
@string{springer="Springer Verlag"}
@inproceedings{KovacsLachnitSzeider20,
  author    = {Laura Kov{\'{a}}cs and
               Hanna Lachnitt and
               Stefan Szeider},
  title     = {Formalizing Graph Trail Properties in Isabelle/HOL},
  booktitle = {Intelligent Computer Mathematics - 13th International Conference,
               {CICM} 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings},
  pages     = {190--205},
  year      = {2020},
  editor    = {Christoph Benzm{\"{u}}ller and
               Bruce R. Miller},
  series    = LNCS,
  volume    = {12236},
  publisher = Springer,
  pdf        = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-20-012.pdf},
  keywords   ={slim,reveal},
}