BIRTHDAY
2010
Springer
13 years 5 months ago
2010
Springer
In the early 1920s, Pavel Urysohn proved his famous lemma (sometimes referred to as "first non-trivial result of point set topology"). Among other applications, this lemm...
AIML
2006
13 years 6 months ago
2006
Dynamic topological logics are combinations of topological and temporal modal logics that are used for reasoning about dynamical systems consisting of a topological space and a con...
DGCI
2000
Springer
13 years 9 months ago
2000
Springer
The importance of digital geometry in image processing is well documented. To understand global properties of digital spaces and manifolds we need a solid understanding of local pr...
WWW
2005
ACM
14 years 5 months ago
2005
ACM
