Open access
Paper
Petri nets based on Lawvere theories
-
- Published online by Cambridge University Press:
- 09 November 2020, pp. 833-864
-
- Article
-
- You have access
- Open access
- Export citation
Model structure on the universe of all types in interval type theory
-
- Published online by Cambridge University Press:
- 14 October 2020, pp. 392-423
-
- Article
-
- You have access
- Open access
- Export citation
Higher-order pattern generalization modulo equational theories
-
- Published online by Cambridge University Press:
- 20 May 2020, pp. 627-663
-
- Article
-
- You have access
- Open access
- Export citation
Open Petri nets
-
- Published online by Cambridge University Press:
- 07 April 2020, pp. 314-341
-
- Article
-
- You have access
- Open access
- Export citation
Computable analysis with applications to dynamic systems
-
- Published online by Cambridge University Press:
- 09 March 2020, pp. 173-233
-
- Article
-
- You have access
- Open access
- Export citation
A channel-based perspective on conjugate priors
-
- Published online by Cambridge University Press:
- 25 February 2020, pp. 44-61
-
- Article
-
- You have access
- Open access
- Export citation
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
Noncommutative network models
-
- Published online by Cambridge University Press:
- 11 November 2019, pp. 14-32
-
- Article
-
- You have access
- Open access
- Export citation
Fast circular dictionary-matching algorithm
-
- Published online by Cambridge University Press:
- 11 May 2015, pp. 143-156
-
- Article
-
- You have access
- Open access
- Export citation