Skip to Navigation
Skip to Content
 
Home> Mathematical Structures in Computer Science> Vol. 15 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:

492,638 articles from 305 leading journals.

Customize Your Search Toolbar

Mathematical Structures in Computer Science

Search

Social Bookmarking

  • Subscription Access
  • Pay-per-View Access
  • Free Access
  • Trial Access
  • Open Access
  • 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 15 - Issue 01  

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

Paper

 
 

Compositional semantics for open Petri nets based on deterministic processes

PAOLO BALDAN, ANDREA CORRADINI, HARTMUT EHRIG and REIKO HECKEL

Mathematical Structures in Computer Science, Volume 15, Issue 01, February 2005, pp 1-35
doi:10.1017/S0960129504004311 (About doi), Published Online by Cambridge University Press 28 Jan 2005
 

Definitions by rewriting in the Calculus of Constructions

FRÉDÉRIC BLANQUI

Mathematical Structures in Computer Science, Volume 15, Issue 01, February 2005, pp 37-92
doi:10.1017/S0960129504004426 (About doi), Published Online by Cambridge University Press 28 Jan 2005
 

A coinductive calculus of streams

J.J.M.M. RUTTEN

Mathematical Structures in Computer Science, Volume 15, Issue 01, February 2005, pp 93-147
doi:10.1017/S0960129504004517 (About doi), Published Online by Cambridge University Press 28 Jan 2005
 

Operations and equations for coalgebras

ALEXANDER KURZ and JIRÍ ROSICKÝ

Mathematical Structures in Computer Science, Volume 15, Issue 01, February 2005, pp 149-166
doi:10.1017/S0960129504004402 (About doi), Published Online by Cambridge University Press 28 Jan 2005
 

Classical logic as limit completion

STEFANO BERARDI

Mathematical Structures in Computer Science, Volume 15, Issue 01, February 2005, pp 167-200
doi:10.1017/S0960129504004529 (About doi), Published Online by Cambridge University Press 28 Jan 2005
  Please select Articles above or use Select All, then click the appropriate button below. Select/Deselect All:

Sort by

Cambridge University Press