Functions and their basic properties (2003)

by Czesław Byliński
Venue:JOURNAL OF FORMALIZED MATHEMATICS
Citations:1252 - 32 self

Active Bibliography

The Ordering of Points on a Curve, Part I – Adam Grabowski
Bounded Domains and Unbounded Domains – Yatsuka Nakamura, Andrzej Trybulec, Czeslaw Bylinski - 2003
A Mathematical Model of CPU – Yatsuka Nakamura, Andrzej Trybulec - 1992
Submetric Spaces - Part I – Adam Lecko, Mariusz Startek - 2002
A Classical First Order Language – Czes Law - 1990
Memory Handling for SCM – Piotr Rudnicki, Andrzej Trybulec - 1999
On the Composition of Macro Instructions. Part III – Noriko Asamoto, Yatsuka Nakamura, Piotr Rudnicki, Andrzej Trybulec
Replacement of Subtrees in a Tree – Oleg Okhotnikov
Relocatability – Yasushi Tanaka - 1999
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
Fixpoints in Complete Lattices – Piotr Rudnicki, Andrzej Trybulec - 1997
Lattice of Substitutions – Adam Grabowski Warsaw, Adam Grabowski, U Set (u
Real Functions Spaces – Henryk Oryszczyszyn, Krzysztof Prazmowski, Let A - 1999
Some Properties of the Intervals – Ozef Bia Las
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
A Decomposition of Simple Closed Curves and an Order of Their Points – Yatsuka Nakamura, Andrzej Trybulec - 2000