Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
OFF
Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
Tout
Tout
Auteur
Titre
Bibliographie
Mots clés
Plein texte
Rechercher
NOT
Entre
et
Auteur
Tout
Auteur
Titre
Date
Bibliographie
Mots clés
Plein texte
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
Parys, Paweł
p. 97-109
A non-uniform finitary relational semantics of system
T
Vaux, Lionel
p. 111-132