Geodesic

Sommaire du Fascicule no. 1

A note on the undecidability of contextfreeness
p. 3-11
The separability of formal languages
p. 13-31
Description d'une classe de grammaires de graphes sans circuit
p. 33-49
A new class of balanced search trees : half-balanced binary search tress
p. 51-71
Extended primitive recursive functions
p. 73-84

Sommaire du Fascicule no. 2

In memoriam
p. 91-92
Langages algébriques et systèmes de réécriture rationnels
p. 93-112
Une preuve combinatoire de la rationalité d'une série génératrice associée aux arbres
p. 113-128
Indécidabilité de la condition IRS
p. 129-138
Séries algébriques solutions d'équations linéaires avec opérateurs
p. 139-163
Topologies sur des espaces ordonnés
p. 165-182

Sommaire du Fascicule no. 3

Repetitive strings are not context-free
p. 191-199
A probabilistic analysis of a new satisfiability algorithm
p. 201-223
Modèles non déterministes de types abstraits
p. 225-244
On simple matrix languages versus scattered context languages
p. 245-253
Analysis of a class of graph partitioning problems
p. 255-261
Algebraic complexity of path problems
p. 263-292

Sommaire du Fascicule no. 4

On subword complexities of homomorphic images of languages
p. 303-316
Une application des notions de centre et index rationnel à certains langages algébriques
p. 317-330
Some properties of decomposition ordering, a simplification ordering to prove termination of rewriting systems
p. 331-347
Les modalités de la correction totale
p. 349-363
A game of composing binary relations
p. 365-369
Codes avec des mots infinis
p. 371-386
From LL-regular to LL(1) grammars : transformations, covers and parsing
p. 387-406