Geodesic

Sommaire du Fascicule no. 1

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

Sommaire du Fascicule no. 2

Signed Chip Firing Games and symmetric Sandpile Models on the cycles
p. 133-146
On the hardness of game equivalence under local isomorphism
p. 147-169
A tight bound for exhaustive key search attacks against Message Authentication Codes
p. 171-180
Cutwidth of iterated caterpillars
p. 181-193
A note on constructing infinite binary words with polynomial subword complexity
p. 195-199
Decidability of the HD0L ultimate periodicity problem
p. 201-214

Sommaire du Fascicule no. 3

Abelian periods, partial words, and an extension of a theorem of Fine and Wilf
p. 215-234
Minimal 2-dominating sets in trees
p. 235-240
Factoring and testing primes in small space
p. 241-259
New applications of the wreath product of forest algebras
p. 261-291
Analysis of a near-metric TSP approximation algorithm
p. 293-314

Sommaire du Fascicule no. 4

A note on a two dimensional knapsack problem with unloading constraints
p. 315-324
From indexed grammars to generating functions
p. 325-350
Cohesiveness in promise problems
p. 351-369
GLS: New class of generalized Legendre sequences with optimal arithmetic cross-correlation
p. 371-388