Hanna Lachnitt

Hanna Lachnitt

PhD student working on Automated Reasoning

Formalizing Graph Trail Properties in Isabelle/HOL

Laura Kovács, Hanna Lachnitt, and Stefan Szeider

Published in arXiv:2103.03607, 2021

Recommended citation: Laura Kovács, Hanna Lachnitt, and Stefan Szeider. “Formalizing Graph Trail Properties in Isabelle/HOL.” arXiv:2103.03607, 2021. https://arxiv.org/abs/2103.03607

arXiv

BibTeX
@article{DBLP:journals/corr/abs-2103-03607,
  author       = {Laura Kov{\'{a}}cs and
                  Hanna Lachnitt and
                  Stefan Szeider},
  title        = {Formalizing Graph Trail Properties in Isabelle/HOL},
  journal      = {CoRR},
  volume       = {abs/2103.03607},
  year         = {2021},
  url          = {https://arxiv.org/abs/2103.03607},
  eprinttype    = {arXiv},
  eprint       = {2103.03607},
  timestamp    = {Mon, 15 Mar 2021 17:30:55 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2103-03607.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}