Sommaire du Fascicule no. 1

Preface
On Core XPath with Inflationary Fixed Points
Strong functors and interleaving fixpoints in game semantics
On characteristic formulae for Event-Recording Automata
Some results on complexity of μ-calculus evaluation in the black-box model
A non-uniform finitary relational semantics of system T

Sommaire du Fascicule no. 2

Signed Chip Firing Games and symmetric Sandpile Models on the cycles
On the hardness of game equivalence under local isomorphism
A tight bound for exhaustive key search attacks against Message Authentication Codes
Cutwidth of iterated caterpillars
A note on constructing infinite binary words with polynomial subword complexity
Decidability of the HD0L ultimate periodicity problem

Sommaire du Fascicule no. 3

Abelian periods, partial words, and an extension of a theorem of Fine and Wilf
Minimal 2-dominating sets in trees
Factoring and testing primes in small space
New applications of the wreath product of forest algebras
Analysis of a near-metric TSP approximation algorithm

Sommaire du Fascicule no. 4

A note on a two dimensional knapsack problem with unloading constraints
From indexed grammars to generating functions
Cohesiveness in promise problems
GLS: New class of generalized Legendre sequences with optimal arithmetic cross-correlation