Functions from a set to a set (1989)

by Czesław Byliński
Venue:Journal of Formalized Mathematics
Citations:1007 - 23 self

Active Bibliography

Lattice of Substitutions – Adam Grabowski Warsaw, Adam Grabowski, U Set (u
Journal Of Formalized Mathematics – Volume Released Published, Jarosław Kotowicz
1 Kernel projections and quotient lattices – Piotr Rudnicki - 1998
1 Some Properties of Isomorphism between Relational Structures. On the Product of Topological Spaces – Jaroslaw Gryko , Artur Kornilowicz - 2002
3 Inverse Limits of Many Sorted Algebras – Adam Grabowski - 1999
2 More on the lattice of many sorted equivalence relations – Robert Milewski - 1996
5 More on multivariate polynomials: Monomials and constant polynomials – Christoph Schwarzweller
2 Lattice of Substitutions – Adam Grabowski
7 Translations, endomorphisms, and stable equational theories – Grzegorz Bancerek - 1996
The Jordan-Hölder Theorem – Marco Riccardi
13 Minimal Signature for Partial Algebra – Grzegorz Bancerek - 1995
Congruences and Quotient Algebras of BCI-algebras – Yuzhong Ding, Zhiyong Pang
Laplace Expansion – Andrzej Trybulec
Basic Operations on Preordered Coherent Spaces – Klaus E. Grue
5 Miscellaneous facts about functors – Grzegorz Bancerek - 2001
3 Lower tolerance. Preliminaries to Wroclaw taxonomy – Mariusz Giero, Roman Matuszewski
31 On the category of posets – Adam Grabowski - 1996
2 The Sylow Theorems – Marco Riccardi
15 Auxiliary and Approximating Relations – Adam Grabowski - 1996
86 Boolean posets, posets under inclusion and products of relational structures – Adam Grabowski, Robert Milewski - 1996