Geodesic

Sommaire du Fascicule no. 1

Detecting the morphic images of a word : improving the general algorithm
p. 1-14
Fair expressions and regular languages over lists
p. 15-66
Undecidable event detection problems for ODEs of dimension one and two
p. 67-79
On lindenmayerian rational subsets of monoids
p. 81-96

Sommaire du Fascicule no. 2

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

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
p. 205-236
On the semidirect product of the pseudovariety of semilattices by a locally finite pseudovariety of groups
p. 237-250
Skip trees, an alternative data structure to skip lists in a concurrent approach
p. 251-269
Decimations and sturmian words
p. 271-290
Polynomial size test sets for commutative languages
p. 291-304

Sommaire du Fascicule no. 4

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

Sommaire du Fascicule no. 5

Négation constructive et axiomatique interne
p. 411-428
On the difficulty of finding walks of length k
p. 429-435
Accurate computation of the relative entropy between stochastic regular grammars
p. 437-444
Languages obtained from infinite words
p. 445-455
The pseudovariety J is hyperdecidable
p. 457-482
An analysis of Lambek's production machines
p. 483-497

Sommaire du Fascicule no. 6

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