Subscriber Authentication Point

EDPS Account

Volume 47 / No 1 (January-March 2013)

RAIRO - Theoretical Informatics and Applications

Volume 47 / No 1 (January-March 2013)

6th Workshop on Fixed Points in Computer Science (FICS'09)

Export the citation of the selected articles Export
Select all

Free Access

Editorial

Preface p. 1

Ralph Matthes and Tarmo Uustalu

Published online: 06 December 2012

DOI: https://doi.org/10.1051/ita/2012026

On Core XPath with Inflationary Fixed Points p. 3

Loredana Afanasiev and Balder ten Cate

Published online: 19 December 2012

DOI: https://doi.org/10.1051/ita/2012027

Strong functors and interleaving fixpoints in game semantics p. 25

Pierre Clairambault

Published online: 10 January 2013

DOI: https://doi.org/10.1051/ita/2012028

On characteristic formulae for Event-Recording Automata p. 69

Omer Landry Nguena Timo and Pierre-Alain Reynier

Published online: 10 January 2013

DOI: https://doi.org/10.1051/ita/2012029

Some results on complexity of μ-calculus evaluation in the black-box model p. 97

Paweł Parys

Published online: 10 January 2013

DOI: https://doi.org/10.1051/ita/2012030

A non-uniform finitary relational semantics of system T p. 111

Lionel Vaux

Published online: 10 January 2013

DOI: https://doi.org/10.1051/ita/2012031