Relations and their basic properties (1989)

by Edmund Woronowicz
Venue:Journal of Formalized Mathematics
Citations:982 - 6 self

Active Bibliography

Bounded Domains and Unbounded Domains – Yatsuka Nakamura, Andrzej Trybulec, Czeslaw Bylinski - 2003
A Mathematical Model of CPU – Yatsuka Nakamura, Andrzej Trybulec - 1992
Oriented Metric-Affine Plane --- Part I – Jaros Law
Submetric Spaces - Part I – Adam Lecko, Mariusz Startek - 2002
A Classical First Order Language – Czes Law - 1990
Abian's Fixed Point Theorem – Piotr Rudnicki University, Piotr Rudnicki, Andrzej Trybulec - 1997
The Lattice of Natural Numbers and The Sublattice of it. The Set of Prime Numbers. – Marek Chmur Warsaw, Marek Chmur
Preliminaries to Arithmetic – Library Committee Association, Volume Addenda
Fixpoints in Complete Lattices – Piotr Rudnicki, Andrzej Trybulec - 1997
Analytical Metric Affine Spaces and Planes – Henryk Oryszczyszyn Warsaw, Henryk Oryszczyszyn, Krzysztof Prazmowski - 1990
Lattice of Substitutions – Adam Grabowski Warsaw, Adam Grabowski, U Set (u
Real Functions Spaces – Henryk Oryszczyszyn, Krzysztof Prazmowski, Let A - 1999
A Construction of an – On Of An, Grzegorz Lewandowski, Krzysztof Prazmowski
A Compiler of Arithmetic Expressions for SCM – Grzegorz Bancerek, Piotr Rudnicki
Some Properties of the Intervals – Ozef Bia Las
Analytical Ordered Affine Spaces – Henryk Oryszczyszyn Warsaw, Henryk Oryszczyszyn, Krzysztof Prazmowski - 1990
Euler's Function – Yoshinori Fujisawa Shinshu, Yoshinori Fujisawa, Yasushi Fuwa
oe-additive Measure Theory – Ozef Bia Las, Fx Y G
Recursive Definitions – Krzysztof Hryniewiecki Warsaw, Krzysztof Hryniewiecki
oe-Fields and Probability – Andrzej Nedzusiak Warsaw, Andrzej Nedzusiak, If A It - 1989