Journals
Seminars
Books
Lecture notes
Theses
Authors
OFF
Journals
Seminars
Books
Lecture notes
Theses
Authors
All
All
Author
Title
References
Keywords
Full text
Search
NOT
Between
and
Author
All
Author
Title
Date
References
Keywords
Full text
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Volume 47 (2013)
no. 1
Table of contents
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
