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 8
Krivine's classical realisability from a categorical perspective
-
- Published online by Cambridge University Press:
- 10 April 2013, pp. 1234-1256
-
- Article
- Export citation
- Cited by 8
Quasi-Nelson algebras and fragments
-
- Published online by Cambridge University Press:
- 11 May 2021, pp. 257-285
-
- Article
- Export citation
- Cited by 8
Ordinal computations
-
- Published online by Cambridge University Press:
- 11 October 2006, pp. 867-884
-
- Article
- Export citation
- Cited by 8
Natural deduction via graphs: formal definition and computation rules
-
- Published online by Cambridge University Press:
- 01 June 2007, pp. 485-526
-
- Article
- Export citation
- Cited by 8
The quantum walk search algorithm: factors affecting efficiency
-
- Published online by Cambridge University Press:
- 16 May 2018, pp. 389-429
-
- Article
- Export citation
- Cited by 8
Essential and relational models†
-
- Published online by Cambridge University Press:
- 23 July 2015, pp. 626-650
-
- Article
- Export citation
- Cited by 8
MetaKlaim: a type safe multi-stage language for global computing
-
- Published online by Cambridge University Press:
- 20 May 2004, pp. 367-395
-
- Article
- Export citation
- Cited by 8
Multi-objective comprehensive evaluation approach to a river health system based on fuzzy entropy†
-
- Published online by Cambridge University Press:
- 04 September 2014, e240515
-
- Article
- Export citation
- Cited by 7
Some hierarchies of QCB0-spaces
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 1799-1823
-
- Article
- Export citation
- Cited by 7
Structured transition systems with parametric observations: observational congruences and minimal realizations
-
- Published online by Cambridge University Press:
- 01 June 1997, pp. 241-282
-
- Article
- Export citation
- Cited by 7
Quantum walks and elliptic integrals
-
- Published online by Cambridge University Press:
- 08 November 2010, pp. 1091-1098
-
- Article
- Export citation
- Cited by 7
Local realizability toposes and a modal logic for computability
-
- Published online by Cambridge University Press:
- 06 August 2002, pp. 319-334
-
- Article
- Export citation
- Cited by 7
On the axiomatisability of priority
-
- Published online by Cambridge University Press:
- 01 February 2008, pp. 5-28
-
- Article
- Export citation
- Cited by 7
Spatiality of countably presentable locales (proved with the Baire category theorem)
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 1607-1625
-
- Article
- Export citation
- Cited by 7
A note on accelerated Turing machines
-
- Published online by Cambridge University Press:
- 08 November 2010, pp. 1011-1017
-
- Article
- Export citation
- Cited by 7
On universal computably enumerable prefix codes
-
- Published online by Cambridge University Press:
- 01 February 2009, pp. 45-57
-
- Article
- Export citation
- Cited by 7
The true concurrency of differential interaction nets
-
- Published online by Cambridge University Press:
- 21 November 2016, pp. 1097-1125
-
- Article
- Export citation
- Cited by 7
A representation of proper BC domains based on conjunctive sequent calculi
-
- Published online by Cambridge University Press:
- 16 October 2019, pp. 1-13
-
- Article
- Export citation
- Cited by 7
Kan injectivity in order-enriched categories
-
- Published online by Cambridge University Press:
- 02 December 2014, pp. 6-45
-
- Article
- Export citation
- Cited by 7
The computational SLR: a logic for reasoning about computational indistinguishability
-
- Published online by Cambridge University Press:
- 27 October 2010, pp. 951-975
-
- Article
- Export citation