REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

  1. Repozytorium Uniwersytetu w Białymstoku
  2. Czasopisma naukowe / Journals
  3. Formalized Mathematics
  4. Formalized Mathematics, 2005, Volume 13, 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/21459
    Pełny rekord metadanych
    Pole DCWartośćJęzyk
    dc.contributor.authorMilewski, Robert-
    dc.date.accessioned2026-11-06T12:00:09Z-
    dc.date.available2026-11-06T12:00:09Z-
    dc.date.issued2005-
    dc.identifier.citationFormalized Mathematics, Volume 13, Issue 2, Pages 227-233pl
    dc.identifier.issn1426-2630-
    dc.identifier.urihttp://hdl.handle.net/11320/21459-
    dc.language.isoenpl
    dc.publisherUniversity of Białystokpl
    dc.rightsCC BY-SA 4.0-
    dc.rights.urihttps://creativecommons.org/licenses/by-sa/4.0/-
    dc.titleSubsequences of Almost, Weakly and Poorly One-to-one Finite Sequencespl
    dc.typeArticlepl
    dc.rights.holder© 2005 University of Białystokpl
    dc.rights.holderThis work is licensed under the Creative Commons License.pl
    dc.description.AffiliationInstitute of Computer Science, University of Białystokpl
    dc.description.referencesGrzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41–46, 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. Some properties of restrictions of finite sequences. Formalized Mathematics, 5(2):241–245, 1996.pl
    dc.description.referencesCzesław Byliński and Mariusz Żynel. Cages – the external approximation of Jordan’s curve. Formalized Mathematics, 9(1):19–24, 2001.pl
    dc.description.referencesAgata Darmochwał. Compact spaces. Formalized Mathematics, 1(2):383–386, 1990.pl
    dc.description.referencesAgata Darmochwał. The Euclidean space. Formalized Mathematics, 2(4):599–603, 1991.pl
    dc.description.referencesAgata Darmochwał and Yatsuka Nakamura. The topological space E2T. Arcs, line segments and special polygonal arcs. Formalized Mathematics, 2(5):617–621, 1991.pl
    dc.description.referencesKatarzyna Jankowska. Matrices. Abelian group of matrices. Formalized Mathematics, 2(4):475–480, 1991.pl
    dc.description.referencesArtur Korniłowicz. The ordering of points on a curve. Part IV. Formalized Mathematics, 10(3):173–177, 2002.pl
    dc.description.referencesJarosław Kotowicz. Functions and finite sequences of real numbers. Formalized Mathematics, 3(2):275–278, 1992.pl
    dc.description.referencesJarosław Kotowicz and Yatsuka Nakamura. Introduction to Go-board – part I. Formalized Mathematics, 3(1):107–115, 1992.pl
    dc.description.referencesJarosław Kotowicz and Yatsuka Nakamura. Introduction to Go-board – part II. Formalized Mathematics, 3(1):117–121, 1992.pl
    dc.description.referencesYatsuka Nakamura and Czesław Byliński. Extremal properties of vertices on special polygons. Part I. Formalized Mathematics, 5(1):97–102, 1996.pl
    dc.description.referencesYatsuka Nakamura and Roman Matuszewski. Reconstructions of special sequences. Formalized Mathematics, 6(2):255–263, 1997.pl
    dc.description.referencesYatsuka Nakamura and Piotr Rudnicki. Vertex sequences induced by chains. Formalized Mathematics, 5(3):297–304, 1996.pl
    dc.description.referencesYatsuka Nakamura and Andrzej Trybulec. Decomposing a Go-board into cells. Formalized Mathematics, 5(3):323–328, 1996.pl
    dc.description.referencesYatsuka Nakamura, Andrzej Trybulec, and Czes law Byli´nski. Bounded domains and unbounded domains. Formalized Mathematics, 8(1):1–13, 1999.pl
    dc.description.referencesTakaya Nishiyama and Yasuho Mizuhara. Binary arithmetics. Formalized Mathematics, 4(1):83–86, 1993.pl
    dc.description.referencesBeata Padlewska and Agata Darmochwał. Topological spaces and continuous functions. Formalized Mathematics, 1(1):223–230, 1990.pl
    dc.description.referencesAndrzej Trybulec. Tarski Grothendieck set theory. Formalized Mathematics, 1(1):9–11, 1990.pl
    dc.description.referencesAndrzej Trybulec. On the decomposition of finite sequences. Formalized Mathematics, 5(3):317–322, 1996.pl
    dc.description.referencesWojciech A. Trybulec. Pigeon hole principle. Formalized Mathematics, 1(3):575–579, 1990pl
    dc.description.referencesZinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67–71, 1990.pl
    dc.description.volume13pl
    dc.description.issue2pl
    dc.description.firstpage227pl
    dc.description.lastpage233pl
    dc.identifier.citation2Formalized Mathematicspl
    Występuje w kolekcji(ach):Formalized Mathematics, 2005, Volume 13, Issue 2

    Pliki w tej pozycji:
    Plik Opis RozmiarFormat 
    Subsequences_of_Almost_Weakly_and_Poorly.pdf107,3 kBAdobe PDFOtwórz
    Pokaż uproszczony widok rekordu Zobacz statystyki


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