Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Fabián Fernando Serrano Suárez
Publications
Mechanising Hall’s Theorem for Countable Graphs
Fabián Fernando Serrano Suárez
,
Mauricio Ayala-Rincón
and
Thaynara Arielly de Lima
EasyChair Preprint 10365
Keyphrases
Countable Graphs
,
Hall's Theorem
,
interactive theorem proving
,
Isabelle/HOL
.
Copyright © 2012-2024 easychair.org. All rights reserved.