2020-05-25T21:04:07ZEditorialhttp://hdl.handle.net/10077/4026
Title: Editorial2010-01-01T00:00:00ZPrefacehttp://hdl.handle.net/10077/4025
Title: Preface2010-01-01T00:00:00ZProofs of the Results in “Boundary-Value Problems for Weakly Nonlinear Ordinary Differential Equations”http://hdl.handle.net/10077/4024
Title: Proofs of the Results in “Boundary-Value Problems for Weakly Nonlinear Ordinary Differential Equations”
Authors: Dancer, Edward Norman
Abstract: We provide the proofs of the results, announced in [1], concerning the existence (and non-existence) of solutions to Dirichlet and periodic boundary value problems associated to second order differential equations with asymmetric nonlinearities.2010-01-01T00:00:00ZTopo-Bisimulations are Coalgebraichttp://hdl.handle.net/10077/3894
Title: Topo-Bisimulations are Coalgebraic
Authors: Schubert, Christoph
Abstract: We show that the topological interpretation of the modal
logic S4 can be reformulated using a special kind of coalgebras for the
filter functor. Thus the topological semantics is subsumed in coalgebraic
semantics. Moreover, the relational notion of topo-bisimulation can
be characterized via spans of open and continuous maps of topological
spaces or via spans of coalgebras morphisms.2010-01-01T00:00:00Z