REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

  1. Repozytorium Uniwersytetu w Białymstoku
  2. Czasopisma naukowe / Journals
  3. Formalized Mathematics
  4. Formalized Mathematics, 2020, Volume 28, 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/10832
    Pełny rekord metadanych
    Pole DCWartośćJęzyk
    dc.contributor.authorKoch, Sebastian-
    dc.date.accessioned2021-05-04T07:44:49Z-
    dc.date.available2021-05-04T07:44:49Z-
    dc.date.issued2020-
    dc.identifier.citationFormalized Mathematics, Volume 28, Issue 2, Pages 137-154pl
    dc.identifier.issn1426-2630-
    dc.identifier.urihttp://hdl.handle.net/11320/10832-
    dc.description.abstractIn this article the finiteness of graphs is refined and the minimal and maximal degree of graphs are formalized in the Mizar system [3], based on the formalization of graphs in [4].pl
    dc.language.isoenpl
    dc.publisherDeGruyter Openpl
    dc.rightsAttribution-ShareAlike 3.0 Unported (CC BY-SA 3.0)-
    dc.rights.urihttps://creativecommons.org/licenses/by-sa/3.0/-
    dc.subjectgraph theorypl
    dc.subjectvertex degreepl
    dc.subjectmaximum degreepl
    dc.subjectminimum degreepl
    dc.titleRefined Finiteness and Degree Properties in Graphspl
    dc.typeArticlepl
    dc.rights.holder© 2020 University of Białymstoku;-
    dc.rights.holderCC-BY-SA License ver. 3.0 or later;-
    dc.identifier.doi10.2478/forma-2020-0013-
    dc.description.Emailskoch02@students.uni-mainz.depl
    dc.description.AffiliationJohannes Gutenberg University, Mainz, Germanypl
    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.pl
    dc.description.referencesReinhard Diestel. Graph theory. Graduate Texts in Mathematics; 173. Springer, New York, 2nd edition, 2000. ISBN 0-387-98976-5; 0-387-98976-5.pl
    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.pl
    dc.description.referencesGilbert Lee and Piotr Rudnicki. Alternative graph structures. Formalized Mathematics, 13(2):235–252, 2005.pl
    dc.description.referencesC. St. J. A. Nash-Williams. Infinite graphs – a survey. Journal of Combinatorial Theory, 3(3):286–301, 1967.pl
    dc.description.referencesKlaus Wagner. Graphentheorie. B.I-Hochschultaschenbücher; 248. Bibliograph. Inst., Mannheim, 1970. ISBN 3-411-00248-4.pl
    dc.description.referencesRobin James Wilson. Introduction to Graph Theory. Oliver & Boyd, Edinburgh, 1972. ISBN 0-05-002534-1.pl
    dc.identifier.eissn1898-9934-
    dc.description.volume28pl
    dc.description.issue2pl
    dc.description.firstpage137pl
    dc.description.lastpage154pl
    dc.identifier.citation2Formalized Mathematicspl
    dc.identifier.orcid0000-0002-9628-177X-
    Występuje w kolekcji(ach):Formalized Mathematics, 2020, Volume 28, Issue 2

    Pliki w tej pozycji:
    Plik Opis RozmiarFormat 
    10.2478_forma-2020-0013.pdf282,57 kBAdobe PDFOtwórz
    Pokaż uproszczony widok rekordu Zobacz statystyki


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