Volume 47 (2013) no. 1

Table of contents

Preface
p. 1-2
On Core XPath with Inflationary Fixed Points
p. 3-23
Strong functors and interleaving fixpoints in game semantics
p. 25-68
On characteristic formulae for Event-Recording Automata
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