Concepedia

Czesław Byliński

CB

4

Publications

966

Citations

4

H-Index

1989

Active since

Affiliations

University of Białystok(Current)

Czesław Byliński is an author at University of Białystok.

Publications per year

1989–2017

4

Publications

4

Functions and their basic properties

Czesław Byliński · 1989 · 366 citations

Some Basic Properties of Sets

Czesław Byliński · 2004 · 338 citations

Functor 2X, Extremal Set Theory, Set-theoretic Topology +5

The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar

Grzegorz Bancerek, Czesław Byliński, Adam Grabowski et al. · Journal of Automated Reasoning · 2017 · 200 citations · Full text

Functions from a set to a set

Czesław Byliński · 1989 · 62 citations

Rows per page

1–4 of 4