Skip to Navigation
Skip to Content
 
Home> Mathematical Structures in Computer Science> Top 10 Most-Cited Articles

 

Log In

Browse Journals

Special Sales

CJO Now Includes:

568,935 articles from 321 leading journals.

Customize Your Search Toolbar

Top 10 Most-Cited Articles


These are the top 10 most-cited articles for this title. Most-cited rankings are updated on a monthly basis and provided by CrossRef.

  • Subscription Access
  • Free Access
  • Trial Access
  • Full Text HTML as well as PDF Articles Available
  • Note: Abstract, PDF and HTML open in a new window
  Article Description Save / Export / View citation Add to Basket
  Select all
 

Towards a quantum programming language

PETER SELINGER

Mathematical Structures in Computer Science, Volume 14, Issue 04, Aug 2004, pp 527-586
doi: 10.1017/S0960129504004256 (About doi), Published online by Cambridge University Press 05 Aug 2004
 

Categorical properties of logical frameworks

YUXI FU

Mathematical Structures in Computer Science, Volume 7, Issue 01, Feb 1997, pp 1-47
doi: 10.1017/S0960129596002058 (About doi),
 

A judgmental reconstruction of modal logic

FRANK PFENNING and ROWAN DAVIES

Mathematical Structures in Computer Science, Volume 11, Issue 04, Aug 2001, pp 511-540
doi: 10.1017/S0960129501003322 (About doi), Published online by Cambridge University Press 25 Jul 2001
 

Equational properties of mobile ambients

ANDREW D. GORDON and LUCA CARDELLI

Mathematical Structures in Computer Science, Volume 13, Issue 03, Jun 2003, pp 371-408
doi: 10.1017/S0960129502003742 (About doi), Published online by Cambridge University Press 20 May 2003
 

String and graph reduction systems for gene assembly in ciliates

ANDRZEJ EHRENFEUCHT, ION PETRE, DAVID M. PRESCOTT and GRZEGORZ ROZENBERG

Mathematical Structures in Computer Science, Volume 12, Issue 02, Apr 2002, pp 113-134
doi: 10.1017/S0960129501003516 (About doi), Published online by Cambridge University Press 08 May 2002
 

Reo: a channel-based coordination model for component composition

FARHAD ARBAB

Mathematical Structures in Computer Science, Volume 14, Issue 03, Jun 2004, pp 329-366
doi: 10.1017/S0960129504004153 (About doi), Published online by Cambridge University Press 20 May 2004
 

Constraint satisfaction algorithms for graph pattern matching

JAVIER LARROSA and GABRIEL VALIENTE

Mathematical Structures in Computer Science, Volume 12, Issue 04, Aug 2002, pp 403-422
doi: 10.1017/S0960129501003577 (About doi), Published online by Cambridge University Press 16 Sep 2002
 

Implementing collection classes with monads

ERNIE G. MANES

Mathematical Structures in Computer Science, Volume 8, Issue 03, Jun 1998, pp 231-276
doi: 10.1017/S0960129598002515 (About doi),
 

Premonoidal categories and notions of computation

JOHN POWER and EDMUND ROBINSON

Mathematical Structures in Computer Science, Volume 7, Issue 05, Oct 1997, pp 453-468
doi: 10.1017/S0960129597002375 (About doi),
 

Coalgebras of bounded type

H. PETER GUMM and TOBIAS SCHRÖDER

Mathematical Structures in Computer Science, Volume 12, Issue 05, Oct 2002, pp 565-578
doi: 10.1017/S0960129501003590 (About doi), Published online by Cambridge University Press 21 Oct 2002
  Select all
  Article Description Save / Export / View citation Add to Basket

Back to Journal Homepage
Cambridge University Press