Geodesic

Sommaire du Fascicule no. 1

Sur quelques limitations des algorithmes dans le traitement des suites
p. 3-20
Automates et commutations partielles
p. 21-32
Un interprète LISP de la programmation fonctionnelle réalisé par des combinateurs
p. 33-41
Strong iterative pairs and the regularity of context-free languages
p. 43-56
Sur les groupes syntaxiques d'un langage
p. 57-70
Automates boustrophedon, semi-groupe de Birget et monoïde inversif libre
p. 71-100

Sommaire du Fascicule no. 2

Réseaux systoliques pour des problèmes de mots
p. 107-123
Non-générateurs algébriques et substitution
p. 125-136
Search trees and bubble memories
p. 137-164
Construction de codes indécomposables
p. 165-178
Un procédé itératif de dénombrement d'arbres binaires et son application à leur génération aléatoire
p. 179-195

Sommaire du Fascicule no. 3

On the equivalence of compositions of morphisms and inverse morphisms on regular languages
p. 203-211
Algorithme de décomposition de clés
p. 213-232
Reduction algorithms for some classes of aperiodic monoids
p. 233-260
On temporal program verification rules
p. 261-280
Sur les semi-groupes vérifiant le théorème de Kleene
p. 281-291
A formalism for treating equivalence of recursive procedures
p. 293-313

Sommaire du Fascicule no. 4

Rebalancing operations for deletions in AVL-trees
p. 323-329
Sur la minimisation d'une expression représentant une famille de fonctions booléennes
p. 331-336
On a class of infinite words with bounded repetitions
p. 337-349
Automates de coût borné sur un alphabet à une lettre
p. 351-357
An algorithm for finding a minimal recursive path ordering
p. 359-382
Some results on finite maximal codes
p. 383-403