Artur Korni

发表

Birkhoff Theorem for Many Sorted Algebras

Artur Korni, 1999 .

On the Group of Automorphisms of Universal Algebra and Many Sorted Algebra

Artur Korni, 1994 .

On the Group of Automorphisms of Universal Algebra and Many Sorted Algebra

Artur Korni, 1994 .

Extensions of Mappings on Generator Set

Artur Korni, 1996 .

Certain Facts about Families of Subsets of Many Sorted Sets

Artur Korni, 1996 .

Some Basic Properties of Many Sorted Sets

Artur Korni, Artur Korni, 1996 .

Artur Korni, Artur Korni, 2007 .

Some Properties of Rectangles on the Plane

Y. Shidama, Artur Korni, 2007 .

Journal of Formalized Mathematics Input and Output of Instructions 1

Artur Korni, 2007 .

The Definition of the Riemann Definite Integral and some Related Lemmas

Noboru Endou, Artur Korni, N. Endou, 2002 .

On the Trivial Many Sorted Algebras and Many Sorted Congruences

Artur Korni, 2002 .

The De nition of the Riemann De niteIntegral and some Related

N. Endou, Artur Korni, 1999 .

Jordan Curve Theorem

Artur Korni, Artur Korni, Artur Korni, 2007 .

On Some Points of a Simple Closed Curve. Part II

Adam Grabowski, Artur Korni, 2005 .

Gauges and Cages. Part I

Artur Korni, 2002 .

On the Instructions of SCM 1

Artur Korni, 2002 .

Journal of Formalized Mathematics on the Baire Category Theorem

Artur Korni, Artur Kornii, 2022 .

On the Characterization of Hausdorr Spaces 1 next We State the Proposition

Artur Korni, Artur Korni, 2007 .

Injective Spaces. Part II

Artur Korni, 2002 .

On the Characterization of Hausdorff Spaces

Artur Korni, Artur Kornii, 2001 .

Introduction to Meet-Continuous Topological Lattices 1

Artur Korni, 1998 .

Definitions and Properties of the Join and Meet of Subsets 1

Artur Korni, Artur Korni, 1996 .

Gauges and Cages . Part I 1

Artur Korni, 2001 .

Brouwer Fixed Point Theorem for Disks on the Plane

Y. Shidama, Artur Korni, 2005 .

The Fundamental Group of the Circle

Artur Korni, 2005 .