REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/8134
Tytuł: About Supergraphs. Part III
Autorzy: Koch, Sebastian
Słowa kluczowe: supergraph
graph operations
construction of finite graphs
05C76
68T99
03B35
Data wydania: 2019
Data dodania: 29-lip-2019
Wydawca: DeGruyter Open
Źródło: Formalized Mathematics, Volume 27, Issue 2, Pages 153 - 179
Abstrakt: The previous articles [5] and [6] introduced formalizations of the step-by-step operations we use to construct finite graphs by hand. That implicitly showed that any finite graph can be constructed from the trivial edgeless graph K1 by applying a finite sequence of these basic operations. In this article that claim is proven explicitly with Mizar[4].
Afiliacja: Johannes Gutenberg University, Mainz, Germany
E-mail: skoch02@students.uni-mainz.de
URI: http://hdl.handle.net/11320/8134
DOI: 10.2478/forma-2019-0016
ISSN: 1426-2630
e-ISSN: 1898-9934
metadata.dc.identifier.orcid: 0000-0002-9628-177X
Typ Dokumentu: Article
Występuje w kolekcji(ach):Formalized Mathematics, 2019, Volume 27, Issue 2

Pliki w tej pozycji:
Plik Opis RozmiarFormat 
forma_2019_27_2_007.pdf294,42 kBAdobe PDFOtwórz
Pokaż pełny widok rekordu Zobacz statystyki


Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL Creative Commons