Geodesic

Sommaire du Fascicule no. 1

Algorithmes pour vérifier la conjecture de Syracuse
p. 3-9
Worst case analysis of two heuristics for the set partitioning problem
p. 11-23
Sur la complexité d'un problème de codage
p. 25-32
Sur les ensembles linéaires
p. 33-40
Langages algébriques déterministes non générateurs
p. 41-57
Comparaison et équivalence de sémantiques pour les schémas de programmes non déterministes
p. 59-91

Sommaire du Fascicule no. 2

Notes on finite asynchronous automata
p. 99-135
Sur les centres de DOL-langages
p. 137-145
Sequential mappings of ω-languages
p. 147-173
On the complexity of computable real sequences
p. 175-180
Complexité de problèmes liés aux graphes sans circuit
p. 181-197
An almost naive algorithm for finding relative neighbourhood graphs in L p metrics
p. 199-215

Sommaire du Fascicule no. 3

Calcul réparti d'un extrémum et du routage associé dans un réseau quelconque
p. 223-244
Decidable subcases of the equivalence problem for recursive program schemes
p. 245-286
Méthode axiomatique sur les propriétés de fatalité des programmes parallèles
p. 287-322
Church-Rosser property and decidability of monadic theories of unary algebras
p. 323-329
Poids et équivalence des codes linéaires
p. 331-339
Monoïde libre et musique, première partie : les musiciens ont-ils besoin des mathématiques ?
p. 341-371

Sommaire du Fascicule no. 4

Monoïde libre et musique : deuxième partie
p. 379-417
The difference and truth-table hierarchies for NP
p. 419-435
Codes limites et factorisations finies du monoïde libre
p. 437-467
Dépliage d'un graphe pointé en un cactus
p. 469-477
Exact and asymptotic distributions in digital and binary search trees
p. 479-495