7 results
Foreword: special issue on coalgebraic logic
-
- Journal:
- Mathematical Structures in Computer Science / Volume 27 / Issue 7 / October 2017
- Published online by Cambridge University Press:
- 20 May 2016, pp. 1108-1110
-
- Article
-
- You have access
- Export citation
A stochastic interpretation of propositional dynamic logic: expressivity
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 687-716
- Print publication:
- June 2012
-
- Article
- Export citation
Coalgebraic logic over general measurable spaces – a survey
-
- Journal:
- Mathematical Structures in Computer Science / Volume 21 / Issue 2 / April 2011
- Published online by Cambridge University Press:
- 25 March 2011, pp. 175-234
-
- Article
- Export citation
Foreword: special issue on coalgebraic logic
-
- Journal:
- Mathematical Structures in Computer Science / Volume 21 / Issue 2 / April 2011
- Published online by Cambridge University Press:
- 25 March 2011, pp. 171-174
-
- Article
-
- You have access
- Export citation
Weak bisimulations for the Giry monad†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 20 / Issue 5 / October 2010
- Published online by Cambridge University Press:
- 27 October 2010, pp. 781-798
-
- Article
- Export citation
Semi-pullbacks for stochastic relations over analytic spaces
-
- Journal:
- Mathematical Structures in Computer Science / Volume 15 / Issue 4 / August 2005
- Published online by Cambridge University Press:
- 15 July 2005, pp. 647-670
-
- Article
- Export citation
Optimal strategies in measurable learning systems on metric spaces
-
- Journal:
- Journal of Applied Probability / Volume 14 / Issue 4 / December 1977
- Published online by Cambridge University Press:
- 14 July 2016, pp. 795-805
- Print publication:
- December 1977
-
- Article
- Export citation