Functions from a set to a set (1989)

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

Active Bibliography

5 More on multivariate polynomials: Monomials and constant polynomials – Christoph Schwarzweller
7 Translations, endomorphisms, and stable equational theories – Grzegorz Bancerek - 1996
Laplace Expansion – Andrzej Trybulec
Basic Operations on Preordered Coherent Spaces – Klaus E. Grue
6 The rank+nullity theorem – Jesse Alama
2 Pocklington’s Theorem and Bertrand’s Postulate – Marco Riccardi
3 Mizar analysis of algorithms: Preliminaries – Grzegorz Bancerek
Recognizing Chordal Graphs: Lex BFS and MCS – Broderick Arneson, Piotr Rudnicki - 2006
87 Boolean posets, posets under inclusion and products of relational structures – Adam Grabowski, Robert Milewski - 1996
258 Binary operations applied to functions – Andrzej Trybulec - 1989
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
2 Lattice of Substitutions – Adam Grabowski
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