ITA, 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

p. 97-109

A non-uniform finitary relational semantics of system

T

p. 111-132