REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

  1. Repozytorium Uniwersytetu w Białymstoku
  2. Czasopisma naukowe / Journals
  3. Formalized Mathematics
  4. Formalized Mathematics, 2019, Volume 27, Issue 2

Szukanie zaawansowane
  • Zespoły i Kolekcje


  • Zaloguj się
  • Zarejestruj się
  • Mój RUB
  • FAQ
  • Polityka
  • Regulamin
  • DOI
  • Instrukcja
  • Aspekty prawne
  • Open Access
  • Archiwum


  • Kontakt
  • O Dspace
  • Strona Biblioteki
  • Strona Uczelni



    • Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/8134
    Pełny rekord metadanych
    Pole DCWartośćJęzyk
    dc.contributor.authorKoch, Sebastian-
    dc.date.accessioned2019-07-29T08:28:49Z-
    dc.date.available2019-07-29T08:28:49Z-
    dc.date.issued2019-
    dc.identifier.citationFormalized Mathematics, Volume 27, Issue 2, Pages 153 - 179-
    dc.identifier.issn1426-2630-
    dc.identifier.urihttp://hdl.handle.net/11320/8134-
    dc.description.abstractThe 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].-
    dc.language.isoen-
    dc.publisherDeGruyter Open-
    dc.subjectsupergraph-
    dc.subjectgraph operations-
    dc.subjectconstruction of finite graphs-
    dc.subject05C76-
    dc.subject68T99-
    dc.subject03B35-
    dc.titleAbout Supergraphs. Part III-
    dc.typeArticle-
    dc.identifier.doi10.2478/forma-2019-0016-
    dc.description.Emailskoch02@students.uni-mainz.de-
    dc.description.AffiliationJohannes Gutenberg University, Mainz, Germany-
    dc.description.referencesGrzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107–114, 1990.-
    dc.description.referencesLowell W. Beineke and Robin J. Wilson, editors. Selected Topics in Graph Theory. Academic Press, London, 1978. ISBN 0-12-086250-6.-
    dc.description.referencesJohn Adrian Bondy and U. S. R. Murty. Graph Theory. Graduate Texts in Mathematics, 244. Springer, New York, 2008. ISBN 978-1-84628-969-9.-
    dc.description.referencesAdam Grabowski, Artur Korniłowicz, and Adam Naumowicz. Four decades of Mizar. Journal of Automated Reasoning, 55(3):191–198, 2015. doi:10.1007/s10817-015-9345-1.-
    dc.description.referencesSebastian Koch. About supergraphs. Part I. Formalized Mathematics, 26(2):101–124, 2018. doi:10.2478/forma-2018-0009.-
    dc.description.referencesSebastian Koch. About supergraphs. Part II. Formalized Mathematics, 26(2):125–140, 2018. doi:10.2478/forma-2018-0010.-
    dc.description.referencesGilbert Lee and Piotr Rudnicki. Alternative graph structures. Formalized Mathematics, 13(2):235–252, 2005.-
    dc.description.referencesKlaus Wagner. Graphentheorie. B.I-Hochschultaschenbücher; 248. Bibliograph. Inst., Mannheim, 1970. ISBN 3-411-00248-4.-
    dc.description.referencesRobin James Wilson. Introduction to Graph Theory. Oliver & Boyd, Edinburgh, 1972. ISBN 0-05-002534-1.-
    dc.identifier.eissn1898-9934-
    dc.description.volume27-
    dc.description.issue2-
    dc.description.firstpage153-
    dc.description.lastpage179-
    dc.identifier.citation2Formalized Mathematics-
    dc.identifier.orcid0000-0002-9628-177X-
    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ż uproszczony widok rekordu Zobacz statystyki


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