5 results
Simply typed fixpoint calculus and collapsible pushdown automata
-
- Journal:
- Mathematical Structures in Computer Science / Volume 26 / Issue 7 / October 2016
- Published online by Cambridge University Press:
- 18 March 2015, pp. 1304-1350
-
- Article
- Export citation
Preface
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 39 / Issue 3 / July 2005
- Published online by Cambridge University Press:
- 15 July 2005, pp. 421-422
- Print publication:
- July 2005
-
- Article
- Export citation
Foreword
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 38 / Issue 4 / October 2004
- Published online by Cambridge University Press:
- 15 October 2004, pp. 275-276
- Print publication:
- October 2004
-
- Article
- Export citation
Permissive strategies: from parity games to safety games
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 36 / Issue 3 / July 2002
- Published online by Cambridge University Press:
- 15 December 2002, pp. 261-275
- Print publication:
- July 2002
-
- Article
- Export citation
A Note on the Completeness of Kozen's Axiomatisation of the Propositional μ-Calculus
-
- Journal:
- Bulletin of Symbolic Logic / Volume 2 / Issue 3 / September 1996
- Published online by Cambridge University Press:
- 15 January 2014, pp. 349-366
- Print publication:
- September 1996
-
- Article
- Export citation