Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/11409
Tytuł: | Miscellaneous Graph Preliminaries. Part I |
Autorzy: | Koch, Sebastian |
Słowa kluczowe: | graph |
Data wydania: | 2021 |
Data dodania: | 30-sie-2021 |
Wydawca: | DeGruyter Open |
Źródło: | Formalized Mathematics, Volume 29, Issue 1, Pages 21-38 |
Abstrakt: | This article contains many auxiliary theorems which were missing in the Mizar Mathematical Library to the best of the author’s knowledge. Most of them regard graph theory as formalized in the GLIB series and are needed in upcoming articles. |
Afiliacja: | Johannes Gutenberg University, Mainz, German |
E-mail: | skoch02@students.uni-mainz.de |
URI: | http://hdl.handle.net/11320/11409 |
DOI: | 10.2478/forma-2021-0003 |
ISSN: | 1426-2630 |
e-ISSN: | 1898-9934 |
metadata.dc.identifier.orcid: | 0000-0002-9628-177X |
Typ Dokumentu: | Article |
metadata.dc.rights.uri: | https://creativecommons.org/licenses/by-sa/3.0/ |
Właściciel praw: | © 2021 University of Białymstoku CC-BY-SA License ver. 3.0 or later |
Występuje w kolekcji(ach): | Formalized Mathematics, 2021, Volume 29, Issue 1 |
Pliki w tej pozycji:
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
10.2478_forma-2021-0003.pdf | 342,86 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL