REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

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

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/21379
    Pełny rekord metadanych
    Pole DCWartośćJęzyk
    dc.contributor.authorArneson, Broderick-
    dc.contributor.authorRudnicki, Piotr-
    dc.date.accessioned2026-10-30T08:16:07Z-
    dc.date.available2026-10-30T08:16:07Z-
    dc.date.issued2006-
    dc.identifier.citationFormalized Mathematics, Volume 14, Issue 3, Pages 79-92pl
    dc.identifier.issn1426-2630-
    dc.identifier.urihttp://hdl.handle.net/11320/21379-
    dc.description.abstractWe are formalizing [9, pp. 81-84] where chordal graphs are defi ned and their basic characterization is given. This formalization is a part of the M.Sc. work of the first author under supervision of the second author.pl
    dc.description.sponsorshipThis work has been partially supported by the NSERC grant OGP 9207.pl
    dc.language.isoenpl
    dc.publisherUniversity of Białystokpl
    dc.rightsAttribution-ShareAlike 4.0 International (CC BY-SA 4.0)-
    dc.rights.urihttps://creativecommons.org/licenses/by-sa/4.0/-
    dc.titleChordal Graphspl
    dc.typeArticlepl
    dc.rights.holder© 2008 Broderick Arneson, Piotr Rudnicki, published by University of Białystokpl
    dc.rights.holderThis work is licensed under the Creative Commons License.pl
    dc.identifier.doi10.2478/v10037-006-0010-3-
    dc.description.AffiliationBroderick Arneson - University of Alberta, Edmonton, Canadapl
    dc.description.AffiliationPiotr Rudnicki - University of Alberta, Edmonton, Canadapl
    dc.description.referencesGrzegorz Bancerek. Cardinal numbers. Formalized Mathematics, 1(2):377-382, 1990.pl
    dc.description.referencesGrzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41-46, 1990.pl
    dc.description.referencesGrzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.pl
    dc.description.referencesGrzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107-114, 1990.pl
    dc.description.referencesCzesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.pl
    dc.description.referencesCzesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.pl
    dc.description.referencesCzesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990.pl
    dc.description.referencesAgata Darmochwał. Finite sets. Formalized Mathematics, 1(1):165-167, 1990.pl
    dc.description.referencesM. Ch. Golumbic. Algorithmic Graph Theory and Perfect Graphs. Academic Press, New York, 1980.pl
    dc.description.referencesGilbert Lee. Trees and Graph Components. Formalized Mathematics, 13(2):271-277, 2005.pl
    dc.description.referencesGilbert Lee. Walks in Graphs. Formalized Mathematics, 13(2):253-269, 2005.pl
    dc.description.referencesGilbert Lee and Piotr Rudnicki. Alternative graph structures. Formalized Mathematics, 13(2):235-252, 2005.pl
    dc.description.referencesYatsuka Nakamura and Piotr Rudnicki. Vertex sequences induced by chains. Formalized Mathematics, 5(3):297-304, 1996.pl
    dc.description.referencesPiotr Rudnicki and Andrzej Trybulec. Abian's fixed point theorem. Formalized Mathematics, 6(3):335-338, 1997.pl
    dc.description.referencesAndrzej Trybulec. Subsets of complex numbers. To appear in Formalized Mathematics.pl
    dc.description.referencesAndrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics, 1(1):115-122, 1990.pl
    dc.description.referencesAndrzej Trybulec. Enumerated sets. Formalized Mathematics, 1(1):25-34, 1990.pl
    dc.description.referencesAndrzej Trybulec. Tarski Grothendieck set theory. Formalized Mathematics, 1(1):9-11, 1990.pl
    dc.description.referencesMichał J. Trybulec. Integers. Formalized Mathematics, 1(3):501-505, 1990.pl
    dc.description.referencesWojciech A. Trybulec. Pigeon hole principle. Formalized Mathematics, 1(3):575-579, 1990.pl
    dc.description.referencesZinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.pl
    dc.description.referencesEdmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1):73-83, 1990.pl
    dc.identifier.eissn1898-9934-
    dc.description.volume14pl
    dc.description.issue3pl
    dc.description.firstpage79pl
    dc.description.lastpage92pl
    dc.identifier.citation2Formalized Mathematicspl
    Występuje w kolekcji(ach):Formalized Mathematics, 2006, Volume 14, Issue 3

    Pliki w tej pozycji:
    Plik Opis RozmiarFormat 
    Chordal_Graphs.pdf129,63 kBAdobe PDFOtwórz
    Pokaż uproszczony widok rekordu Zobacz statystyki


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