Binary operations (1989)

by Czesław Byliński
Venue:Journal of Formalized Mathematics
Citations:330 - 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
Lattice of Substitutions – Adam Grabowski Warsaw, Adam Grabowski, U Set (u
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
Birkhoff Theorem for Many Sorted Algebras – Artur Kornilowicz
Bounding Boxes for Compact Sets in Ε² – Czeslaw Bylinski, Piotr Rudnicki - 1997
Partial Functions – Czeslaw Bylinski Warsaw
On the Characterization of Hausdorff Spaces – Artur Kornilowicz - 2001
On the Trivial Many Sorted Algebras and Many Sorted Congruences – Artur Kornilowicz
Memory Handling for SCM_FSA – Piotr Rudnicki, Andrzej Trybulec
4 Continuous lattices of maps between T0 spaces – Grzegorz Bancerek - 1999
1 Kernel projections and quotient lattices – Piotr Rudnicki - 1998
5 On the Many Sorted Closure Operator and the Many Sorted Closure System – Artur Kornilowicz - 1996
2 The Construction of SCM over Ring – Artur Kornilowicz - 1998
4 Binary Arithmetics – Takaya Nishiyama, Yasuho Mizuhara - 1999
1 Konig's lemma – Grzegorz Bancerek - 1991
3 Inverse Limits of Many Sorted Algebras – Adam Grabowski - 1999
3 The Field of Quotients over an Integral Domain – Christoph Schwarzweller - 1999