Sommaire du Fascicule no. 1

Detecting the morphic images of a word : improving the general algorithm
Fair expressions and regular languages over lists
Undecidable event detection problems for ODEs of dimension one and two
On lindenmayerian rational subsets of monoids

Sommaire du Fascicule no. 2

Introduction à l'algorithmique des objets partagés
A syntactic characterization of bounded-rank decision trees in terms of decision lists
The laterality problem for non-erasing Turing machines on {0,1} is completely solved

Sommaire du Fascicule no. 3

Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini
On the semidirect product of the pseudovariety of semilattices by a locally finite pseudovariety of groups
Skip trees, an alternative data structure to skip lists in a concurrent approach
Decimations and sturmian words
Polynomial size test sets for commutative languages

Sommaire du Fascicule no. 4

Calculs approchés de la borne inférieure de valeurs réparties
On the power of parallel communicating grammar systems with right-linear components
A hierarchy of cyclic languages
A selection property of the boolean μ-calculus and some of its applications
Énumération des cartes pointées sue la bouteille de Klein

Sommaire du Fascicule no. 5

Négation constructive et axiomatique interne
On the difficulty of finding walks of length k
Accurate computation of the relative entropy between stochastic regular grammars
Languages obtained from infinite words
The pseudovariety J is hyperdecidable
An analysis of Lambek's production machines

Sommaire du Fascicule no. 6

On generating all solutions of generalized satisfiability problems
Résultats de complétude pour des classes de types du système 𝒜ℱ2
Une réponse négative à la conjecture de E. Tronci pour les systèmes numériques typés