×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents of mila-e-majster-cederbaum
Metric completion versus ideal completion
220 views
The contraction property is sufficient to guarantee the uniqueness of fixed points of endofunctors in a category of complete metric spaces
212 views
A simple relation between relational and predicate transformer semantics for nondeterministic programs
212 views
On the uniqueness of fixed points of endofunctors in a category of complete metric spaces
214 views
Towards a foundation for semantics in complete metric spaces
214 views