Rendiconti dell'Istituto di Matematica dell'Università di Trieste: an International Journal of Mathematics vol.42 (2010)
Permanent URI
CONTENTS
Giovanni Di Lena, Marino Martelli and Basilio Messano
Global Stability and Plus-Global Stability. An Application to Forward Neural Networks
Haiping Shi, Zhongzhi Liu and Zhigang Wang
Dirichlet Boundary Value Problems for Second Order p-Laplacian Difference Equations
Edward Norman Dancer
Proofs of the Results in “Boundary-Value Problems for Weakly Nonlinear Ordinary Differential Equations”
Zsolt Lángi
On Universal Covers for Four-Dimensional Sets of a Given Diameter
Antonio Fasano and Angiolo Farina
Modelling Complex Flows in Porous Media by Means of Upscaling Procedures
Ugo Bruzzo
Gauge Theory: from Physics to Geometry
Jorge Lewowicz and Marcelo Cerminara
Some Open Problems concerning Expansive Systems
Proceedings
“Theory and Applications of Bisimulations”
Alberto Casagrande
Hybrid Automata and Bisimulations
Domenico Cantone, Massimo Felici and Marianna Nicolosi Asmundo
Solvable Set/Hyperset Contexts: III. A Tableau System for a Fragment of Hyperset Theory
Ernest-Erich Doberkat
A Note on the Coalgebraic Interpretation of Game Logic
Eugenio G. Omodeo, Alberto Policriti and Alexandru I. Tomescu
Stating Infinity in Set/Hyperset Theory
Eugenio G. Omodeo
Bisimilarity, Hypersets, and Stable Partitioning: a Survey
Giacomo Lenzi
Recent Results on the Modal μ-Calculus: a Survey
Christoph Schubert
Topo-Bisimulations are Coalgebraic
Details
Editorial policy The journal Rendiconti dell’Istituto di Matematica dell’università di Trieste publishes original articles in all areas of mathematics. Special regard is given to research papers, but attractive expository papers may also be considered for publication. The journal usually appears in one issue per year. Additional issues may however be published. In particular, the Managing Editors may consider the publication of supplementary volumes related to some special events, like conferences, workshops, and advanced schools. All submitted papers will be refereed. Manuscripts are accepted for review with the understanding that the work has not been published before and is not under consideration for publication elsewhere. Our journal can be obtained by exchange agreements with other similar journals.
Instructions for Authors Authors are invited to submit their papers by e-mail directly to one of the Managing Editors in PDF format. All the correspondence regarding the submission and the editorial process of the paper are done by e-mail. Papers have to be written in one of the following languages: English, French, German, or Italian. Abstracts should not exceed ten printed lines, except for papers written in French, German, or Italian, for which an extended English summary is required. After acceptance, manuscripts have to be prepared in LaTeX using the style rendiconti.cls which can be downloaded from the web page. Any figure should be recorded in a single PDF, PS (PostScript), or EPS (Encapsulated PostScript) file.