Most cited
This page lists all time most cited articles for this title. Please use the publication date filters on the left if you would like to restrict this list to recently published content, for example to articles published in the last three years. The number of times each article was cited is displayed to the right of its title and can be clicked to access a list of all titles this article has been cited by.
- Cited by 5
Compact metric spaces as minimal-limit sets in domains of bottomed sequences
-
- Published online by Cambridge University Press:
- 16 November 2004, pp. 853-878
-
- Article
- Export citation
- Cited by 5
Categories, relations and dynamic programming
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 33-69
-
- Article
- Export citation
- Cited by 5
Theory and applications of explicit substitutions: Introduction
-
- Published online by Cambridge University Press:
- 07 March 2001, p. 1
-
- Article
-
- You have access
- Export citation
- Cited by 5
The sequential topology on is not regular
-
- Published online by Cambridge University Press:
- 08 September 2009, pp. 943-957
-
- Article
- Export citation
- Cited by 5
Limits in categories of Vietoris coalgebras
-
- Published online by Cambridge University Press:
- 10 August 2018, pp. 552-587
-
- Article
- Export citation
- Cited by 5
Algebraic implementation of abstract data types: a survey of concepts and new compositionality results
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 33-67
-
- Article
- Export citation
- Cited by 5
Complexity of weak bisimilarity and regularity for BPA and BPP
-
- Published online by Cambridge University Press:
- 31 July 2003, pp. 567-587
-
- Article
- Export citation
- Cited by 5
Phase transition of multivariate polynomial systems
-
- Published online by Cambridge University Press:
- 01 February 2009, pp. 9-23
-
- Article
- Export citation
- Cited by 5
βη-complete models for System F
-
- Published online by Cambridge University Press:
- 17 January 2003, pp. 823-874
-
- Article
- Export citation
- Cited by 5
An injection from the Baire space to natural numbers
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 1484-1489
-
- Article
- Export citation
- Cited by 5
A specification logic for concurrent object-oriented programming
-
- Published online by Cambridge University Press:
- 01 June 1999, pp. 253-286
-
- Article
- Export citation
- Cited by 5
Modal and mixed specifications: key decision problems and their complexities
-
- Published online by Cambridge University Press:
- 26 February 2010, pp. 75-103
-
- Article
- Export citation
- Cited by 5
Type-based flow analysis and context-free language reachability
-
- Published online by Cambridge University Press:
- 01 October 2008, pp. 823-894
-
- Article
- Export citation
- Cited by 5
Computability and totality in domains
-
- Published online by Cambridge University Press:
- 16 August 2002, pp. 281-294
-
- Article
- Export citation
- Cited by 5
Modules over relative monads for syntax and semantics
-
- Published online by Cambridge University Press:
- 05 December 2014, pp. 3-37
-
- Article
- Export citation
- Cited by 5
The Travelling Salesman Problem in symmetric circulant matrices with two stripes
-
- Published online by Cambridge University Press:
- 01 February 2008, pp. 165-175
-
- Article
- Export citation
- Cited by 4
Ordered combinatory algebras and realizability†
-
- Published online by Cambridge University Press:
- 10 September 2015, pp. 428-458
-
- Article
- Export citation
- Cited by 4
Entanglement and Hilbert space geometry for systems with a few qubits
-
- Published online by Cambridge University Press:
- 01 December 2007, pp. 1117-1132
-
- Article
- Export citation
- Cited by 4
Extensions of unification modulo ACUI
-
- Published online by Cambridge University Press:
- 11 November 2019, pp. 597-626
-
- Article
-
- You have access
- Open access
- Export citation
- Cited by 4
On quasi-interpretations, blind abstractions and implicit complexity†
-
- Published online by Cambridge University Press:
- 02 February 2012, pp. 549-580
-
- Article
- Export citation