Skip to Navigation
Skip to Content
 
Home> Mathematical Structures in Computer Science> Vol. 11 Issue 06

 

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:

568,935 articles from 321 leading journals.

Customize Your Search Toolbar

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 11 - Issue 06  

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

Research Articles

 
 

The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity

MAX KANOVICH and JACQUELINE VAUZEILLES

Mathematical Structures in Computer Science, Volume 11, Issue 06, December 2001, pp 689-716
doi:10.1017/S0960129501003413 (About doi), Published Online by Cambridge University Press 09 Jan 2002
 

Strongly algebraic = SFP (topically)

STEVEN VICKERS

Mathematical Structures in Computer Science, Volume 11, Issue 06, December 2001, pp 717-742
doi:10.1017/S0960129501003437 (About doi), Published Online by Cambridge University Press 09 Jan 2002
 

Recognizable languages in divisibility monoids

MANFRED DROSTE and DIETRICH KUSKE

Mathematical Structures in Computer Science, Volume 11, Issue 06, December 2001, pp 743-770
doi:10.1017/S0960129501003395 (About doi), Published Online by Cambridge University Press 09 Jan 2002
 

On the elimination of some higher type quantifiers

YASUWO IKEDA, KOHJI TOMITA and CHIHARU HOSONO

Mathematical Structures in Computer Science, Volume 11, Issue 06, December 2001, pp 771-779
doi:10.1017/S0960129501003401 (About doi), Published Online by Cambridge University Press 09 Jan 2002
  Please select Articles above or use Select All, then click the appropriate button below. Select/Deselect All:

Sort by

Cambridge University Press