dr hab. Artur Korniłowicz

Publikacje

  1. G. Bancerek, Cz. Byliński, A. Grabowski, A. Korniłowicz, R. Matuszewski, A. Naumowicz, K. P±k
    The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar
    J. Automat. Reason. 61 (2018), no. 1-4, 9-32.
    DOI10.1007/s10817-017-9440-6
  2. I. Ivanov, A. Korniłowicz, M. Nikitchenko
    An inference system of an extension of Floyd-Hoare logic for partial predicates
    Form. Math. 26 (2018), no. 2, 159-164.
    DOI10.2478/forma-2018-0013
  3. I. Ivanov, A. Korniłowicz, M. Nikitchenko
    Implementation of the Composition-nominative Approach to Program Formalization in Mizar
    The Computer Science Journal of Moldova 26 (2018), no. 1, 59-76.
  4. I. Ivanov, A. Korniłowicz, M. Nikitchenko
    On algebras of algorithms and specifications over uninterpreted data
    Form. Math. 26 (2018), no. 2, 141-147.
    DOI10.2478/forma-2018-0011
  5. I. Ivanov, A. Korniłowicz, M. Nikitchenko
    On an algorithmic algebra over simple-named complex-valued nominative data
    Form. Math. 26 (2018), no. 2, 149-158.
    DOI10.2478/forma-2018-0012
  6. I. Ivanov, A. Korniłowicz, M. Nikitchenko
    Partial correctness of GCD algorithm
    Form. Math. 26 (2018), no. 2, 165-173.
    DOI10.2478/forma-2018-0014
  7. A. Korniłowicz, I. Ivanov, M. Nikitchenko
    Kleene Algebra of Partial Predicates
    Form. Math. 26 (2018), no. 1, 11-20.
    DOI10.2478/forma-2018-0002
  8. M. Nikitchenko, I. Ivanov, A. Korniłowicz, A. Kryvolap
    Extended Floyd-Hoare Logic over Relational Nominative Data
    Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2018, May 15, Institute of Postgraduate Education of Taras Shevchenko National University of Kyiv, Ukraine (conf. org.) (N. Basiliades, V. Ermolayev, H.-G. Fill, H. V. Mayr, M. Nikitchenko, A. Spivakovsky, V. Yakovyna, G. Zholtkevych Ed(s).), CCIS , (publ. by) Springer, 2018, pp. 41-64.
    DOI10.1007/978-3-319-76168-8_3
  9. A. Grabowski, A. Korniłowicz
    Introduction to Liouville Numbers
    Form. Math. 25 (2017), no. 1, 39-48.
    DOI10.1515/forma-2017-0003
  10. I. Ivanov, M. Nikitchenko, A. Kryvolap, A. Korniłowicz
    Simple named-complex valued nominative data -- definition and basic operations
    Form. Math. 25 (2017), no. 3, 205-216.
    DOI10.1515/forma-2017-0020
  11. A. Korniłowicz
    Differentiability of Polynomials over Reals
    Form. Math. 25 (2017), no. 1, 31-37.
    DOI10.1515/forma-2017-0002
  12. A. Korniłowicz
    Registrations vs Redefinitions in Mizar
    Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Co, 9th Conference on Intelligent Computer Mathematics (CICM 2016), Jul 25-29, Wydział Matematyki i Informatyki Uniwersytetu w Białymstoku (conf. org.) (Bernd-Holger Schlingloff et al. Ed(s).), CEUR Workshop Proceedings vol. 1785, (publ. by)  RWTH Aachen University, 2017, pp. 17-20.
  13. A. Korniłowicz, A. Kryvolap, M. Nikitchenko, I. Ivanov
    An Approach To Formalization of an Extension of Floyd-Hoare Logic
    ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer, 13th International Conference ICTERI 2017, May 15, Institute of Postgraduate Education of Taras Shevchenko National University of Kyiv, Ukraine (conf. org.) (V. Ermolayev, N. Bassiliades, H. G. Fill, V. Yakovyna, H. C. Mayr, V. Kharchenko, V. Peschanenko, M. Shyshkina, M. Nikitchenko, A. Spivakovsky Ed(s).), CEUR Workshop Proceedings vol. 1844, (publ. by)  RWTH Aachen University, 2017, pp. 504-523.
  14. A. Korniłowicz, A. Kryvolap, M. Nikitchenko, I. Ivanov
    Formalization of the Algebra of Nominative Data in Mizar
    Proceedings of the 2017 Federated Conference on Computer Science and Information Systems (FedCSIS), Sep 3-6, Polish Information Processing Society, IBS PAN,Wrocław University of Technology, ETI (conf. org.) (M. Ganzha, L. Maciaszek, M. Paprzycki Ed(s).), Annals of Computer Science and Information Systems vol. 11, (publ. by) PTI: Polish Information Processing Society, 2017, pp. 237-244.
    DOI10.15439/2017F301
  15. A. Korniłowicz, A. Kryvolap, M. Nikitchenko, I. Ivanov
    Formalization of the Nominative Algorithmic Algebra in Mizar
    Information Systems Architecture and Technology, Proceedings of 38th International Conference on Information Systems Architecture and Technology, ISAT 2017, part II, Sep 17-19, Wrocław University of Science and Technology (conf. org.) (Z. Wilimowska, J. ¦wi±tek, L. Borzemski Ed(s).), Advances in Intelligent Systems and Computing , (publ. by) Springer V., 2017, pp. 176-186.
    DOI10.1007/978-3-319-67229-8_16
  16. A. Korniłowicz, A. Naumowicz, A. Grabowski
    All Liouville Numbers are Transcendental
    Form. Math. 25 (2017), no. 1, 49-54.
    DOI10.1515/forma-2017-0004
  17. A. Korniłowicz, K. P±k
    Basel Problem -- Preliminaries
    Form. Math. 25 (2017), no. 2, 141-147.
    DOI10.1515/forma-2017-0013
  18. A. Korniłowicz, K. P±k
    Vieta's Formula about the Sum of Roots of Polynomials
    Form. Math. 25 (2017), no. 2, 87-92.
    DOI10.1515/forma-2017-0008
  19. A. Naumowicz, A. Korniłowicz
    Introducing Euclidean Relations to Mizar
    Proceedings of the 2017 Federated Conference on Computer Science and Information Systems (FedCSIS), Sep 3-6, Polish Information Processing Society, IBS PAN,Wrocław University of Technology, ETI (conf. org.) (M. Ganzha, L. Maciaszek, M. Paprzycki Ed(s).), Annals of Computer Science and Information Systems vol. 11, (publ. by) PTI: Polish Information Processing Society, 2017, pp. 245-248.
    DOI10.15439/2017F368
  20. K. P±k, A. Korniłowicz
    Basel Problem
    Form. Math. 25 (2017), no. 2, 149-155.
    DOI10.1515/forma-2017-0014
  21. A. Grabowski, A. Korniłowicz, Ch. Schwarzweller
    On Algebraic Hierarchies in Mathematical Repository of Mizar
    Proceedings of the 2016 Federated Conference on Computer Science and Information Systems (FedCSIS), Sep 11-14, Polish Information Processing Society, IBS PAN,Wrocław University of Technology, ETI (conf. org.) (M. Ganzha, L. Maciaszek, M. Paprzycki et al. Ed(s).), Annals of Computer Science and Information Systems vol. 8, (publ. by) PTI: Polish Information Processing Society, 2016, pp. 363-371.
    DOI10.15439/2016F520
  22. A. Korniłowicz
    Enhancement of Mizar Texts with Transitivity Property of Predicates
    Intelligent Computer Mathematics, International Conference, CICM 2016, Białystok, Poland, July 25-29, 2016, Proceedings., Jul 25-29, Wydział Matematyki i Informatyki Uniwersytetu w Białymstoku (conf. org.) (M. Kohlhase, M. Johansson, B. Miller, L.. de Moura, F. Tompa Ed(s).), Lecture Notes in Comput. Sci. vol. 9791, (publ. by) Springer, Berlin, 2016, pp. 157-162.
    DOI10.1007/978-3-319-42547-4_12
  23. A. Korniłowicz, A. Naumowicz
    Niven's Theorem
    Form. Math. 24 (2016), no. 4, 301-308.
    DOI10.1515/forma-2016-0026
  24. Ch. Schwarzweller, A. Korniłowicz, A. Rowińska-Schwarzweller
    Some Algebraic Properties of Polynomial Rings
    Form. Math. 24 (2016), no. 3, 227-237.
    DOI10.1515/forma-2016-0019
  25. G. Bancerek, Cz. Byliński, A. Grabowski, A. Korniłowicz, R. Matuszewski, A. Naumowicz, K. P±k, J. Urban
    Mizar: State-of-the-art and Beyond
    Intelligent Computer Mathematics, International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings., Jul 13-17, (M. Kerber, J. Carette, C. Kaliszyk, F. Rabe, V. Sorge Ed(s).), Lecture Notes in Comput. Sci. vol. 9150, (publ. by) Springer, Berlin, 2015, pp. 261-279.
    DOI10.1007/978-3-319-20615-8_17
  26. A. Grabowski, A. Korniłowicz, A. Naumowicz
    Four Decades of Mizar, Foreword
    J. Automat. Reason. 55 (2015), no. 3, 191-198.
    DOI10.1007/s10817-015-9345-1
  27. A. Grabowski, A. Korniłowicz, Ch. Schwarzweller
    Equality in Computer Proof-Assistants
    Proceedings of the 2015 Federated Conference on Computer Science and Information Systems (FedCSIS), Sept. 13-16, Annals of Computer Science and Information Systems vol. 5, (publ. by) PTI: Polish Information Processing Society, 2015, pp. 45-54.
    DOI10.15439/2015F229
  28. I. Ivanov, A. Korniłowicz, M. Nikitchenko
    Formalization of Nominative Data in Mizar
    Theoretical and Applied Aspects of Program System Development (TAAPSD'2015), 12th International Conference, 23-26.11.2015, (D.B. Buj et al. Ed(s).), (publ. by) Avangard, Kyiv, Nov 2015, pp. 82-85.
  29. A. Korniłowicz
    Definitional expansions in Mizar
    J. Automat. Reason. 55 (2015), no. 3, 257-268.
    DOI10.1007/s10817-015-9331-7
  30. A. Korniłowicz
    Flexary connectives in Mizar
    Computer Languages, Systems and Structures 44 (2015), C, 238-250.
    DOI10.1016/j.cl.2015.07.002
  31. A. Korniłowicz, Ch. Schwarzweller
    Characteristic of Rings; Prime Fields
    Form. Math. 23 (2015), no. 4, 333-349.
    DOI10.1515/forma-2015-0027
  32. M. B. Caminati, A. Korniłowicz
    Pseudo-Canonical Formulae are Classical
    Form. Math. 22 (2014), no. 2, 99-103.
    DOI10.2478/forma-2014-0011
  33. A. Korniłowicz
    Equalities in Mizar
    Trends in Contemporary Computer Science, Podlasie 2014 (A. Gomolińska, A. Grabowski, M. Hryniewicka, M. Kacprzyk, E. Schmeidel Ed(s).), Białystok Technical University Publishing Office, 2014, pp. 59-69.
  34. A. Korniłowicz, Ch. Schwarzweller
    The First Isomorphism Theorem and Other Properties of Rings
    Form. Math. 22 (2014), no. 4, 291-301.
    DOI10.2478/forma-2014-0029
  35. M. Goliński, A. Korniłowicz
    Coproducts in categories without uniqueness of cod and dom
    Form. Math. 21 (2013), no. 4, 235-239.
    DOI10.2478/forma-2013-0025
  36. A. Korniłowicz
    Commutativeness of Fundamental Groups of Topological Groups
    Form. Math. 21 (2013), no. 2, 127-131.
    DOI10.2478/forma-2013-0014
  37. A. Korniłowicz
    On Rewriting Rules in Mizar
    J. Automat. Reason. 50 (2013), no. 2, 203-210.
    DOI10.1007/s10817-012-9261-6
  38. A. Korniłowicz, K. Kuperberg, A. Naumowicz, A. Trybulec
    Formal Mathematics for Mathematicians
    J. Automat. Reason. 50 (2013), no. 2, 119-121, (Foreward to the Special Issue).
    DOI10.1007/s10817-012-9268-z
  39. G. Bancerek, H. Kobayashi, A. Korniłowicz
    Valuation Theory. Part I
    Form. Math. 20 (2012), no. 1, 7-14.
    DOI10.2478/v10037-012-0002-4
  40. A. Korniłowicz
    Cayley-Dickson Construction
    Form. Math. 20 (2012), no. 4, 281-290.
    DOI10.2478/v10037-012-0034-9
  41. A. Korniłowicz
    Products in Categories without Uniqueness of cod and dom
    Form. Math. 20 (2012), no. 4, 303-307.
    DOI10.2478/v10037-012-0036-7
  42. A. Korniłowicz
    Tentative Experiments with Ellipsis in Mizar
    Intelligent Computer Mathematics, 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, ... Proceedings, July 8-13, (J. Jeuring, J. A. Campbell, J. Carette, G. Dos Reis, P. Sojka, M. Wenzel, V. Sorge Ed(s).), Lecture Notes in Artificial Intelligence vol. 7362, (publ. by) Springer, Berlin, 2012, pp. 453-457.
    DOI10.1007/978-3-642-31374-5_35
  43. A. Korniłowicz, K. Miyajima, Y. Shidama
    Contracting Mapping on Normed Linear Space
    Form. Math. 20 (2012), no. 4, 291-301.
    DOI10.2478/v10037-012-0035-8
  44. A. Korniłowicz, K. Miyajima, Y. Shidama
    Riemann Integral of Functions from R into n-dimensional Real Normed Space
    Form. Math. 20 (2012), no. 1, 79-86.
    DOI10.2478/v10037-012-0011-3
  45. A. Korniłowicz, K. Narita, Y. Shidama
    The Differentiable Functions from R into Rn
    Form. Math. 20 (2012), no. 1, 65-71.
    DOI10.2478/v10037-012-0009-x
  46. A. Korniłowicz, M. Riccardi
    Fundamental Group of n-sphere for n ≥ 2
    Form. Math. 20 (2012), no. 2, 97-104.
    DOI10.2478/v10037-012-0013-1
  47. A. Korniłowicz, M. Riccardi
    The Borsuk-Ulam Theorem
    Form. Math. 20 (2012), no. 2, 105-112.
    DOI10.2478/v10037-012-0014-0
  48. A. Korniłowicz
    Cayley's Theorem
    Form. Math. 19 (2011), no. 4, 223-225.
    DOI10.2478/v10037-011-0030-5
  49. A. Korniłowicz
    Mazur-Ulam Theorem
    Form. Math. 19 (2011), no. 3, 127-130.
    DOI10.2478/v10037-011-0020-7
  50. A. Korniłowicz, K. Narita, Y. Shidama
    More on the Continuity of Real Functions
    Form. Math. 19 (2011), no. 4, 233-239.
    DOI10.2478/v10037-011-0032-3
  51. A. Grabowski, A. Korniłowicz, A. Naumowicz
    Mizar in a nutshell
    J. Form. Reasoning 3 (2010), no. 2, 153-245.
  52. A. Korniłowicz
    Miscellaneous Facts about Open Functions and Continuous Functions
    Form. Math. 18 (2010), no. 3, 171-174.
    DOI10.2478/v10037-010-0019-5
  53. A. Korniłowicz
    On the Continuity of Some Functions
    Form. Math. 18 (2010), no. 3, 175-183.
    DOI10.2478/v10037-010-0020-z
  54. A. Korniłowicz
    The Correspondence Between $n$-dimensional Euclidean Space and the Product of $n$ Real Lines
    Form. Math. 18 (2010), no. 1, 81-85.
    DOI10.2478/v10037-010-0011-0
  55. A. Korniłowicz
    Arithmetic Operations on Functions from Sets into Functional Sets
    Form. Math. 17 (2009), no. 1, 43-60.
    DOI10.2478/v10037-009-0005-y
  56. A. Korniłowicz
    Collective Operations on Number-Membered Sets
    Form. Math. 17 (2009), no. 2, 99-115.
    DOI10.2478/v10037-009-0011-0
  57. A. Korniłowicz
    How to Define Terms in Mizar Effectively
    Computer Reconstruction of the Body of Mathematics (A. Grabowski, A. Naumowicz Ed(s).), Stud. Logic, Grammar and Rhetoric vol. 18(31), University of Białystok, 2009, pp. 67-77.
  58. A. Korniłowicz, Y. Nakamura, N. Oya, Y. Shidama
    The Real Vector Spaces of Finite Sequences are Finite Dimensional
    Form. Math. 17 (2009), no. 1, 1-9.
    DOI10.2478/v10037-009-0001-2
  59. A. Korniłowicz, A. Naumowicz
    A Brief Overview of Mizar
    Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Proceedings, Munich, Aug. 17-20, (S. Berghofer, T. Nipkow, Ch. Urban, M. Wenzel Ed(s).), Lecture Notes in Comput. Sci. vol. 5674, (publ. by) Springer, Berlin, 2009, pp. 67-72, (an invited tutorial).
    DOI10.1007/978-3-642-03359-9_5
  60. A. Grabowski, A. Korniłowicz
    Computer-assisted reasoning about algebraic topology
    From Insight to Proof - Festschrift in Honour of Andrzej Trybulec (R. Matuszewski, A. Zalewska Ed(s).), Stud. Logic, Grammar and Rhetoric vol. 10(23), University of Białystok, 2007, pp. 179-189.
  61. K. E. Grue, A. Korniłowicz
    Basic Operations on Preordered Coherent Spaces
    Form. Math. 15 (2007), no. 4, 213-230.
    DOI10.2478/v10037-007-0025-4
  62. A. Korniłowicz
    A Proof of the Jordan Curve Theorem via the Brouwer Fixed Point Theorem
    Mechanized Mathematics and Its Applications 6 (2007), no. 1, 33-40.
  63. A. Korniłowicz
    Formalization of the Jordan Curve Theorem in Mizar
    Proceedings of the International Congress of Mathematicians, Madrid, August 22-30, 2006, August 22-30, (M. Sanz-Solé, J. Soria, J. L. Varona, J. Verdera Ed(s).), (publ. by) European Mathematical Society Publishing House (EMS Ph), Freiburg, 2007, pp. 611, (Abstracts).
  64. B. Li, Y. Zhang, A. Korniłowicz
    Simple Continued Fractions and Their Convergents
    Form. Math. 14 (2006), no. 3, 71-78.
    DOI10.2478/v10037-006-0009-9
  65. A. Grabowski, A. Korniłowicz
    On some points of a simple closed curve. Part II
    Form. Math. 13 (2005), no. 1, 89-91.
  66. A. Korniłowicz
    Jordan Curve Theorem
    Form. Math. 13 (2005), no. 4, 481-491.
  67. A. Korniłowicz
    On Some Points of a Simple Closed Curve
    Form. Math. 13 (2005), no. 1, 81-87.
  68. A. Korniłowicz
    On the Real Valued Functions
    Form. Math. 13 (2005), no. 1, 181-187.
  69. A. Korniłowicz
    Properties of Connected Subsets of the Real Line
    Form. Math. 13 (2005), no. 2, 315-323.
  70. A. Korniłowicz
    Quotient Rings
    Form. Math. 13 (2005), no. 4, 573-576.
  71. A. Korniłowicz
    The Fundamental Group of the Circle
    Form. Math. 13 (2005), no. 2, 325-331.
  72. A. Korniłowicz, G. Bancerek, A. Naumowicz
    Tietze Extension Theorem
    Form. Math. 13 (2005), no. 4, 471-475.
  73. A. Korniłowicz, Ch. Schwarzweller
    Computers and Algorithms in Mizar
    Mechanized Mathematics and Its Applications 4 (2005), no. 1, 43-50.
  74. A. Korniłowicz, Y. Shidama
    Brouwer Fixed Point Theorem for Disks on the Plane
    Form. Math. 13 (2005), no. 2, 333-336.
  75. A. Korniłowicz, Y. Shidama
    Inverse Trigonometric Functions Arcsin and Arccos
    Form. Math. 13 (2005), no. 1, 73-79.
  76. A. Korniłowicz, Y. Shidama
    Some Properties of Circles on the Plane
    Form. Math. 13 (2005), no. 1, 117-124.
  77. A. Korniłowicz, Y. Shidama
    Some Properties of Rectangles on the Plane
    Form. Math. 13 (2005), no. 1, 109-115.
  78. Y. Nakamura, A. Trybulec, A. Korniłowicz
    The Fashoda Meet Theorem for Continuous Mappings
    Form. Math. 13 (2005), no. 4, 467-469.
  79. A. Grabowski, A. Korniłowicz
    Algebraic properties of homotopies
    Form. Math. 12 (2004), no. 3, 251-260.
  80. A. Grabowski, A. Korniłowicz, Y. Shidama
    The fundamental group
    Form. Math. 12 (2004), no. 3, 261-268.
  81. A. Korniłowicz
    A Tree of Execution of a Macroinstruction
    Form. Math. 12 (2004), no. 1, 33-37.
  82. A. Korniłowicz
    On the Fundamental Groups of Products of Topological Spaces
    Form. Math. 12 (2004), no. 3, 421-425.
  83. A. Korniłowicz
    On the Isomorphism of Fundamental Groups
    Form. Math. 12 (2004), no. 3, 391-396.
  84. A. Korniłowicz
    Recursive Definitions. Part II
    Form. Math. 12 (2004), no. 2, 167-172.
  85. A. Korniłowicz
    The Fundamental Group of Convex Subspaces of $\calE^n_\rmT$
    Form. Math. 12 (2004), no. 3, 295-299.
  86. A. Korniłowicz, P. Rudnicki
    Fundamental Theorem of Arithmetic
    Form. Math. 12 (2004), no. 2, 179-186.
  87. A. Korniłowicz, Y. Shidama
    Intersections of Intervals and Balls in $\calE^n_\rmT$
    Form. Math. 12 (2004), no. 3, 301-306.
  88. A. Korniłowicz, Y. Shidama
    Relocability for SCM over Ring
    Form. Math. 12 (2004), no. 2, 151-157.
  89. T. Nishiyama, A. Korniłowicz, Y. Shidama
    The Uniform Continuity of Functions on Normed Linear Spaces
    Form. Math. 12 (2004), no. 3, 277-279.
  90. A. Korniłowicz
    Morphisms Into Chains. Part I
    Form. Math. 11 (2003), no. 2, 189-195.
  91. A. Korniłowicz, Y. Shidama
    SCMPDS Is Not Standard
    Form. Math. 11 (2003), no. 4, 421-424.
  92. G. Audemard, P. Bertoli, A. Cimatti, A. Korniłowicz, R. Sebastiani
    A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions
    Automated Deduction—CADE-18, 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2, July 27–30, (A. Voronkov Ed(s).), Lecture Notes in Comput. Sci. vol.  2392, (publ. by) Springer, Berlin, 2002, pp. 195-210.
    DOI10.1007/3-540-45620-1_17
  93. G. Audemard, P. Bertoli, A. Cimatti, A. Korniłowicz, R. Sebastiani
    Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements
    Artificial Intelligence, Automated Reasoning, and Symbolic Computation. Joint International Conferences AISC 2002 and Calculemus, July 1-5, (J. Calmet, B. Benhamou, O. Caprotti, L. Henocque, V. Sorge et al. Ed(s).), Lecture Notes in Comput. Sci. vol. 2385, (publ. by) Springer, Berlin, 2002, pp. 231-245.
  94. G. Audemard, A. Cimatti, A. Korniłowicz, R. Sebastiani
    Bounded Model Checking for Timed Systems
    Formal Techniques for Networked and Distributed Sytems — FORTE 2002, 22nd IFIP WG 6.1 International Conference Houston, Te, Nov.11-14., (D. A. Peled, M. Y. Vardi et al. Ed(s).), Lecture Notes in Comput. Sci. vol. 2529, (publ. by) Springer, Berlin, 2002, pp. 243-259.
    DOI10.1007/3-540-36135-9_16
  95. A. Korniłowicz
    The Ordering of Points on a Curve. Part III
    Form. Math. 10 (2002), no. 3, 169-171.
  96. A. Korniłowicz
    The Ordering of Points on a Curve. Part IV
    Form. Math. 10 (2002), no. 3, 173-177.
  97. G. Bancerek, A. Korniłowicz
    Yet Another Construction of Free Algebra
    Form. Math. 9 (2001), no. 4, 779-785.
  98. A. Grabowski, A. Korniłowicz, A. Trybulec
    Some properties of cells and gauges
    Form. Math. 9 (2001), no. 3, 545-548.
  99. J. Gryko, A. Korniłowicz
    Some Properties of Isomorphism between Relational Structures. On the Product of Topological Spaces
    Form. Math. 9 (2001), no. 1, 13-18.
  100. A. Korniłowicz
    Input and Output of Instructions
    Form. Math. 9 (2001), no. 4, 665-671.
  101. A. Korniłowicz
    Meet Continuous Lattices Revisited
    Form. Math. 9 (2001), no. 2, 249-254.
  102. A. Korniłowicz
    On the Composition of Macro Instructions of Standard Computers
    Form. Math. 9 (2001), no. 2, 303-316.
  103. A. Korniłowicz
    On the Instructions of SCM
    Form. Math. 9 (2001), no. 4, 659-663.
  104. A. Korniłowicz
    On the Instructions of SCM FSA
    Form. Math. 9 (2001), no. 4, 673-679.
  105. A. Korniłowicz
    Properties of the External Approximation of Jordan's Curve
    Form. Math. 9 (2001), no. 1, 31-34.
  106. A. Korniłowicz
    The Properties of Instructions of SCM over Ring
    Form. Math. 9 (2001), no. 2, 317-322.
  107. A. Korniłowicz, J. Gryko
    Injective Spaces. Part II
    Form. Math. 9 (2001), no. 1, 41-47.
  108. A. Korniłowicz, R. Milewski
    Gauges and Cages. Part II
    Form. Math. 9 (2001), no. 3, 555-558.
  109. A. Korniłowicz, R. Milewski, A. Naumowicz, A. Trybulec
    Gauges and Cages. Part I
    Form. Math. 9 (2001), no. 3, 501-509.
  110. R. Milewski, A. Trybulec, A. Korniłowicz, A. Naumowicz
    Some Properties of Cells and Arcs
    Form. Math. 9 (2001), no. 3, 531-535.
  111. A. Trybulec, P. Rudnicki, A. Korniłowicz
    Standard Ordering of Instruction Locations
    Form. Math. 9 (2001), no. 2, 291-301.
  112. N. Endou, A. Korniłowicz
    The Definition of the Riemann Definite Integral and some Related Lemmas
    Form. Math. 8 (1999), no. 1, 93-102.
  113. A. Korniłowicz
    Compactness of the Bounded Closed Subsets of $\calE^2_\rmT$
    Form. Math. 8 (1999), no. 1, 61-68.
  114. A. Korniłowicz
    Homeomorphism between [:$\calE^i_\rmT, \calE^j_\rmT$:] and $\calE^i+j_\rmT$
    Form. Math. 8 (1999), no. 1, 73-76.
  115. A. Korniłowicz
    Properties of Left and Right Components
    Form. Math. 8 (1999), no. 1, 163-168.
  116. A. Korniłowicz
    Introduction to Meet-Continuous Topological Lattices
    Form. Math. 7 (1998), no. 2, 279-283.
  117. A. Korniłowicz
    On the Characterization of Hausdorff Spaces
    Form. Math. 7 (1998), no. 1, 63-68.
  118. A. Korniłowicz
    The Basic Properties of SCM over Ring
    Form. Math. 7 (1998), no. 2, 301-305.
  119. A. Korniłowicz
    The Composition of Functors and Transformations in Alternative Categories
    Form. Math. 7 (1998), no. 1, 1-7.
  120. A. Korniłowicz
    The Construction of SCM over Ring
    Form. Math. 7 (1998), no. 2, 295-300.
  121. A. Korniłowicz
    The Definition and Basic Properties of Topological Groups
    Form. Math. 7 (1998), no. 2, 217-225.
  122. A. Korniłowicz
    The Product of the Families of the Groups
    Form. Math. 7 (1998), no. 1, 127-134.
  123. A. Korniłowicz
    The Properties of Product of Relational Structures
    Form. Math. 7 (1998), no. 1, 45-52.
  124. A. Korniłowicz
    Birkhoff Theorem for Many Sorted Algebras
    Form. Math. 6 (1997), no. 3, 389-395.
  125. A. Korniłowicz
    Cartesian Products of Relations and Relational Structures
    Form. Math. 6 (1997), no. 1, 145-152.
  126. A. Korniłowicz
    Definitions and Properties of the Join and Meet of Subsets
    Form. Math. 6 (1997), no. 1, 153-158.
  127. A. Korniłowicz
    Equations in Many Sorted Algebras
    Form. Math. 6 (1997), no. 3, 363-369.
  128. A. Korniłowicz
    Meet-Continuous Lattices
    Form. Math. 6 (1997), no. 1, 159-167.
  129. A. Korniłowicz
    On the Baire Category Theorem
    Form. Math. 6 (1997), no. 2, 321-327.
  130. A. Korniłowicz
    On the Categories Without Uniqueness of cod and dom. Some Properties of the Morphisms and the Functors
    Form. Math. 6 (1997), no. 4, 475-481.
  131. A. Korniłowicz
    On the Topological Properties of Meet-Continuous Lattices
    Form. Math. 6 (1997), no. 2, 269-277.
  132. A. Korniłowicz
    On the Trivial Many Sorted Algebras and Many Sorted Congruences
    Form. Math. 6 (1997), no. 1, 9-15.
  133. Y. Shidama, A. Korniłowicz
    Convergence and the Limit of Complex Sequences. Series
    Form. Math. 6 (1997), no. 3, 403-410.
  134. A. Korniłowicz
    Certain Facts about Families of Subsets of Many Sorted Sets
    Form. Math. 5 (1996), no. 3, 451-456.
  135. A. Korniłowicz
    Definitions and Basic Properties of Boolean \& Union of Many Sorted Sets
    Form. Math. 5 (1996), no. 2, 279-281.
  136. A. Korniłowicz
    Extensions of Mappings on Generator Set
    Form. Math. 5 (1996), no. 2, 269-272.
  137. A. Korniłowicz
    On the Closure Operator and the Closure System of Many Sorted Sets
    Form. Math. 5 (1996), no. 4, 543-551.
  138. A. Korniłowicz
    On the Group of Automorphisms of Universal Algebra \& Many Sorted Algebra
    Form. Math. 5 (1996), no. 2, 221-226.
  139. A. Korniłowicz
    On the Group of Inner Automorphisms
    Form. Math. 5 (1996), no. 1, 43-45.
  140. A. Korniłowicz
    On the Many Sorted Closure Operator and the Many Sorted Closure System
    Form. Math. 5 (1996), no. 4, 529-536.
  141. A. Korniłowicz
    Some Basic Properties of Many Sorted Sets
    Form. Math. 5 (1996), no. 3, 395-399.
Uwagi do prezentowanych tutaj danych bibliograficznych proszę kierować do: libmaster@math.uwb.edu.pl .