Sommaire du Fascicule no. 1

Foreword
p. 1-2
On the hierarchies of Δ 2 0 -real numbers
p. 3-25
Automata, Borel functions and real numbers in Pisot base
p. 27-44
Real and complex pseudozero sets for polynomials with applications
p. 45-56
Formally certified floating-point filters for homogeneous geometric predicates
p. 57-69
Correct rounding of algebraic functions
p. 71-83
Fast and correctly rounded logarithms in double-precision
p. 85-102
Multiple-precision correctly rounded Newton-Cotes quadrature
p. 103-121

Sommaire du Fascicule no. 2

Balance properties of the fixed point of the substitution associated to quadratic simple Pisot numbers
p. 123-135
Returning and non-returning parallel communicating finite automata are equivalent
p. 137-145
An algorithm for deciding if a polyomino tiles the plane
p. 147-155
Sequential monotonicity for restarting automata
p. 157-175
Three notes on the complexity of model checking fixpoint logic with chop
p. 177-190
Object oriented institutions to specify symbolic computation systems
p. 191-214
A periodicity property of iterated morphisms
p. 215-223
Deciding inclusion of set constants over infinite non-strict data structures
p. 225-241

Sommaire du Fascicule no. 3

Decidability of code properties
p. 243-259
An upper bound for transforming self-verifying automata into deterministic ones
p. 261-265
Substitutions par des motifs en dimension 1
p. 267-284
A graph approach to computing nondeterminacy in substitutional dynamical systems
p. 285-306
Combinatorial and arithmetical properties of infinite words associated with non-simple quadratic Parry numbers
p. 307-328
On substitution invariant sturmian words : an application of Rauzy fractals
p. 329-349

Sommaire du Fascicule no. 4

Learning tree languages from text
p. 351-374
A weighted HP model for protein folding with diagonal contacts
p. 375-402
Defect theorem in the plane
p. 403-409
Uniformly bounded duplication codes
p. 411-424
Combinatoire de mots récurrents de complexité n+2
p. 425-446
Recursive coalgebras of finitary functors
p. 447-462