RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 47 (2013) no. 1

Sommaire

Preface

Matthes, Ralph ; Uustalu, Tarmo

p. 1-2

On Core XPath with Inflationary Fixed Points

Afanasiev, Loredana ; Cate, Balder Ten

p. 3-23

Strong functors and interleaving fixpoints in game semantics

Clairambault, Pierre

p. 25-68

On characteristic formulae for Event-Recording Automata

Nguena Timo, Omer Landry ; Reynier, Pierre-Alain

p. 69-96

Some results on complexity of

μ

-calculus evaluation in the black-box model

p. 97-109

A non-uniform finitary relational semantics of system

T

p. 111-132