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 4
Embedding theorems for LTL and its variants†
-
- Published online by Cambridge University Press:
- 02 December 2014, pp. 83-134
-
- 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
Mackey-complete spaces and power series – a topological model of differential linear logic
-
- Published online by Cambridge University Press:
- 21 October 2016, pp. 472-507
-
- Article
- Export citation
- Cited by 4
A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras
-
- Published online by Cambridge University Press:
- 10 April 2019, pp. 783-809
-
- Article
- Export citation
- Cited by 4
Universal aspects of probabilistic automata
-
- Published online by Cambridge University Press:
- 16 September 2002, pp. 481-512
-
- Article
- Export citation
- Cited by 4
Final coalgebras as greatest fixed points in ZF set theory
-
- Published online by Cambridge University Press:
- 01 October 1999, pp. 545-567
-
- Article
- Export citation
- Cited by 4
Hoare Semigroups
-
- Published online by Cambridge University Press:
- 04 April 2017, pp. 775-799
-
- Article
- Export citation
- Cited by 4
Diagrammatic specifications
-
- Published online by Cambridge University Press:
- 23 December 2003, pp. 857-890
-
- Article
- Export citation
- Cited by 4
Foreword to special issue: The difference between concurrent and sequential computation Including selected papers from: EXPRESS'00 – 7th International Workshop on Expressiveness in Concurrency
-
- Published online by Cambridge University Press:
- 31 July 2003, pp. 481-484
-
- Article
-
- You have access
- Export citation
- Cited by 4
Optimal fuzzy PID controller design for an active magnetic bearing system based on adaptive genetic algorithms†
-
- Published online by Cambridge University Press:
- 04 September 2014, e240516
-
- 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
Bicategories in univalent foundations
-
- Published online by Cambridge University Press:
- 09 March 2022, pp. 1232-1269
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
- Cited by 4
Minimal realization in bicategories of automata
-
- Published online by Cambridge University Press:
- 01 April 1998, pp. 93-116
-
- Article
- Export citation
- Cited by 4
Monoids over domains
-
- Published online by Cambridge University Press:
- 17 May 2006, pp. 255-277
-
- Article
- Export citation
- Cited by 4
Vulnerability modelling with functional programming and dependent types
-
- Published online by Cambridge University Press:
- 15 December 2014, pp. 114-128
-
- Article
- Export citation
- Cited by 4
Introduction
-
- Published online by Cambridge University Press:
- 01 April 2000, pp. 97-98
-
- Article
-
- You have access
- Export citation
- Cited by 4
Formalising PFSQL queries using ŁΠ fuzzy logic†
-
- Published online by Cambridge University Press:
- 14 December 2011, pp. 533-547
-
- Article
- Export citation
- Cited by 4
Towards an algorithmic construction of cut-elimination procedures†
-
- Published online by Cambridge University Press:
- 01 February 2008, pp. 81-105
-
- Article
- Export citation
- Cited by 4
Multisets, heaps, bags, families: What is a multiset?
-
- Published online by Cambridge University Press:
- 27 January 2020, pp. 139-158
-
- Article
- Export citation