Topologically-algebraic structure functors full reflective or coreflective restrictions of semitopological functors
Topologické prostory
Topologické prostory. S dodatky: J. Novák, Konstrukce některých význačných topologických prostorů; M. Katětov, Plně normální prostory [Book]
Topologie combinatoire et invariants combinatoires
Topologie e funzioni reali semicontinue
Topologie fine et mesure de référence.
Topologie générale et espaces d'ultrafiltres
Topologie II [Book]
Topologie su spazi di funzioni derivanti da topologie su iperspazi
Topologie sur l'ensemble des compacts non vides d'un espace topologique séparé. Exemple de complémentaire analytique non analytique dans un espace polonais
Topologies associated to some decision statistical functions
Topologies between compact and uniform convergence on function spaces.
Topologies compatible with order and separation axioms
Topologies compatible with ordering
Topologies compatible with ordering
Topologies, continuity and bisimulations
Topologies, Continuity and Bisimulations
The notion of a bisimulation relation is of basic importance in many areas of computation theory and logic. Of late, it has come to take a particular significance in work on the formal analysis and verification of hybrid control systems, where system properties are expressible by formulas of the modal μ-calculus or weaker temporal logics. Our purpose here is to give an analysis of the concept of bisimulation, starting with the observation that the zig-zag conditions are suggestive of some...
Topologies defined by some invariant pseudodistances
Topologies for probabilistic metric spaces
Topologies generated by closed intervals.