Skip to Navigation
Skip to Content
 
Home> Mathematical Structures in Computer Science> Vol. 17 Issue 03

 

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 17 - Issue 03  

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

Paper

 
 

Theory and applications of term graph rewriting: introduction

IAN MACKIE and DETLEF PLUMP

Mathematical Structures in Computer Science, Volume 17, Issue 03, June 2007, pp 361-362
doi:10.1017/S0960129507006081 (About doi), Published Online by Cambridge University Press 06 Jul 2007
 

A rewriting calculus for cyclic higher-order term graphs

PAOLO BALDAN, CLARA BERTOLISSI, HORATIU CIRSTEA and CLAUDE KIRCHNER

Mathematical Structures in Computer Science, Volume 17, Issue 03, June 2007, pp 363-406
doi:10.1017/S0960129507006093 (About doi), Published Online by Cambridge University Press 06 Jul 2007
 

Graph rewriting for the π-calculus

FABIO GADDUCCI

Mathematical Structures in Computer Science, Volume 17, Issue 03, June 2007, pp 407-437
doi:10.1017/S096012950700610X (About doi), Published Online by Cambridge University Press 06 Jul 2007
 

A duality between proof systems for cyclic term graphs

CLEMENS GRABMAYER

Mathematical Structures in Computer Science, Volume 17, Issue 03, June 2007, pp 439-484
doi:10.1017/S0960129507006111 (About doi), Published Online by Cambridge University Press 06 Jul 2007
 

Natural deduction via graphs: formal definition and computation rules

HERMAN GEUVERS and IRIS LOEB

Mathematical Structures in Computer Science, Volume 17, Issue 03, June 2007, pp 485-526
doi:10.1017/S0960129507006123 (About doi), Published Online by Cambridge University Press 06 Jul 2007
 

A denotational semantics for the symmetric interaction combinators

DAMIANO MAZZA

Mathematical Structures in Computer Science, Volume 17, Issue 03, June 2007, pp 527-562
doi:10.1017/S0960129507006135 (About doi), Published Online by Cambridge University Press 06 Jul 2007
 

Randomised algorithms for isomorphisms of simple types

JOSEPH (YOSSI) GIL and YOAV ZIBIN

Mathematical Structures in Computer Science, Volume 17, Issue 03, June 2007, pp 565-584
doi:10.1017/S0960129507006068 (About doi), Published Online by Cambridge University Press 16 Apr 2007
  Please select Articles above or use Select All, then click the appropriate button below. Select/Deselect All:

Sort by

Cambridge University Press