Rendiconti dell'Istituto di Matematica
dell'Università di Trieste

An International Journal of Mathematics

Articles

Volume 42 (2010)
Editorial
Di Lena, G. ; Martelli, Mario ; Messano, B.
Global Stability and Plus-Global Stability. An Application to Forward Neural Networks
Shi, H. ; Liu, Z. ; Wang, Z.
Dirichlet Boundary Value Problems for Second Order p-Laplacian Difference Equations
Dancer, E.N.
Proofs of the Results in "Boundary-Value Problems for Weakly Nonlinear Ordinary Differential Equations"
Lángi, Z.
On Universal Covers for Four-Dimensional Sets of a Given Diameter
Fasano, A. ; Farina, A.
Modelling Complex Flows in Porous Media by Means of Upscaling Procedures
Bruzzo, U.
Gauge Theory: from Physics to Geometry
Lewowicz, J. ; Cerminara, M.
Some Open Problems Concerning Expansive Systems
Preface
Casagrande, A.
Hybrid Automata and Bisimulations
Cantone, D. ; Felici, M. ; Nicolosi Asmundo, M.
Solvable Set/Hyperset Contexts: III. A Tableau System for a Fragment of Hyperset Theory
Doberkat, E.-E.
A Note on the Coalgebraic Interpretation of Game Logic
Omodeo, E.G. ; Policriti, A. ; Tomescu, A.I.
Stating Infinity in Set/Hyperset Theory
Omodeo, E.G.
Bisimilarity, Hypersets, and Stable Partitioning: a Survey
Lenzi, G.
Recent results on the modal $\mu$-calculus: a survey
Schubert, C.
Topo-Bisimulations are Coalgebraic