Skip to Navigation
Skip to Content
 
Home> Mathematical Structures in Computer Science> Vol. 18 Special Issue 01

 

Log In

Browse Journals

Special Sales

Cambridge Journals Digital Archive

Click here for details about our archive digitisation project. more details

2009 Journals Catalogue

Click here to download a PDF of our latest catalogue; a comprehensive guide to all of our journals. more details

CJO Now Includes:

567,269 articles from 321 leading journals.

Customize Your Search Toolbar

Mathematical Structures in Computer Science

Search

Social Bookmarking

  • Note: Abstract, PDF and HTML open in a new window

  • Editor(s):
  • G. Longo, CNRS and Ecole Normale SupĂ©rieure, Paris, France

Sort by

Previous Issue Next Issue

Table of Contents - Volume 18 - Special Issue 01 (in memory of Sauro Tulipani)  

  Please select Articles below or use Select All, then click the appropriate button above. Select/Deselect All:
 

Paper

 
 

Preface to Special Issue devoted to the memory of Sauro Tulipani

FLAVIO CORRADINI and CARLO TOFFALORI

Mathematical Structures in Computer Science, Volume 18, Special Issue 01, February 2008, pp 1-4
doi:10.1017/S0960129507006512 (About doi), Published Online by Cambridge University Press 05 Mar 2008
 

On the axiomatisability of priority

LUCA ACETO, TAOLUE CHEN, WAN FOKKINK and ANNA INGOLFSDOTTIR

Mathematical Structures in Computer Science, Volume 18, Special Issue 01, February 2008, pp 5-28
doi:10.1017/S0960129507006524 (About doi), Published Online by Cambridge University Press 05 Mar 2008
 

A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems

MARCO BERNARDO and STEFANIA BOTTA

Mathematical Structures in Computer Science, Volume 18, Special Issue 01, February 2008, pp 29-55
doi:10.1017/S0960129507006408 (About doi), Published Online by Cambridge University Press 05 Mar 2008
 

Comparative uncertainty: theory and automation

ANDREA CAPOTORTI and ANDREA FORMISANO

Mathematical Structures in Computer Science, Volume 18, Special Issue 01, February 2008, pp 57-79
doi:10.1017/S0960129507006561 (About doi), Published Online by Cambridge University Press 05 Mar 2008
 

Towards an algorithmic construction of cut-elimination procedures

AGATA CIABATTONI and ALEXANDER LEITSCH

Mathematical Structures in Computer Science, Volume 18, Special Issue 01, February 2008, pp 81-105
doi:10.1017/S0960129507006573 (About doi), Published Online by Cambridge University Press 05 Mar 2008
 

Multiple-Labelled Transition Systems for nominal calculi and their logics

ROCCO DE NICOLA and MICHELE LORETI

Mathematical Structures in Computer Science, Volume 18, Special Issue 01, February 2008, pp 107-143
doi:10.1017/S0960129507006585 (About doi), Published Online by Cambridge University Press 05 Mar 2008
 

Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions)

YING GAO and JINGDE CHENG

Mathematical Structures in Computer Science, Volume 18, Special Issue 01, February 2008, pp 145-164
doi:10.1017/S0960129508006592 (About doi), Published Online by Cambridge University Press 05 Mar 2008
 

The Travelling Salesman Problem in symmetric circulant matrices with two stripes

IVAN GERACE and FEDERICO GRECO

Mathematical Structures in Computer Science, Volume 18, Special Issue 01, February 2008, pp 165-175
doi:10.1017/S0960129508006609 (About doi), Published Online by Cambridge University Press 05 Mar 2008
 

A positive set theory with equality revisited

GIACOMO LENZI

Mathematical Structures in Computer Science, Volume 18, Special Issue 01, February 2008, pp 177-188
doi:10.1017/S0960129508006610 (About doi), Published Online by Cambridge University Press 05 Mar 2008
 

Model theory of exponentials on Lie algebras

ANGUS MACINTYRE

Mathematical Structures in Computer Science, Volume 18, Special Issue 01, February 2008, pp 189-204
doi:10.1017/S0960129508006622 (About doi), Published Online by Cambridge University Press 05 Mar 2008
 

Combinatorial laplacians and positivity under partial transpose

ROLAND HILDEBRAND, STEFANO MANCINI and SIMONE SEVERINI

Mathematical Structures in Computer Science, Volume 18, Special Issue 01, February 2008, pp 205-219
doi:10.1017/S0960129508006634 (About doi), Published Online by Cambridge University Press 05 Mar 2008
  Please select Articles above or use Select All, then click the appropriate button below. Select/Deselect All:

Sort by

Cambridge University Press