Geodesic

Sommaire du Fascicule no. 1

Characterization of rational and algebraic power series
p. 3-11
On the separating power of EOL systems
p. 13-22
Deux remarques sur un théorème de S. Eilenberg
p. 23-48
Independent instances for some undecidable problems
p. 49-54
Top-down mathematical semantics and symbolic execution
p. 55-70
Right and left invertibility in λ-β-calculus
p. 71-88

Sommaire du Fascicule no. 2

Relational data base design using refinement rules
p. 97-119
Space classes, intersection of languages and bounded erasing homomorphisms
p. 121-130
Mots infinis de Fibonacci et morphismes itérés
p. 131-135
Algebraic definition of a functional programming language and its semantic models
p. 137-161
Hypergraph systems and their extensions
p. 163-196

Sommaire du Fascicule no. 3

On the Ehrenfeucht conjecture for DOL languages
p. 205-230
Syntactic congruences and syntactic algebras
p. 231-238
Méthodes d'optimisation pour un problème de théorie des nombres
p. 239-247
The reduction of binary trees by means of an input-restricted deque
p. 249-284
Topologies on free monoids induced by families of languages
p. 285-290

Sommaire du Fascicule no. 4

Une extension des langages déterministes
p. 301-319
A semigroup characterization of dot-depth one languages
p. 321-330
Some theorems on graph congruences
p. 331-342
Un algorithme de calcul formel des séries énumératrices de langage linéaire
p. 343-364
The brownian motion : a neglected tool for the complexity analysis of sorted tables manipulation
p. 365-385
Probabilistic analysis of two euclidean location problems
p. 387-395
Parallel computation on 2-3-trees
p. 397-404