Informatique Théorique et Applications, Volume 21, 1987

Volume 21, Number 1, 1987

Jacques J. Arsac: Algorithmes pour Vérifier La Conjecture De Syracuse. 3-9
Alberto Marchetti-Spaccamela, Antonella Pelaggi: Worst Case Analysis of Two Heuristics for The Set Partitioning Problem. 11-23
Antoine Lobstein, Gérard D. Cohen: Sur La Complexité D'un Problème De Codage. 25-32
Michel Latteux: Sur Les Ensembles Linéaires. 33-40
Luc Boasson, Antoine Petit: Langages Algébriques Déterministes Non Générateurs. 41-57
Patrice Naudin: Comparaison Et Équivalence De Sémantiques Pour Les Schémas De Programmes Non Déterministes. 59-91

Wieslaw Zielonka: Notes on Finite Asynchronous Automata. 99-135
Alain Terlutte: Sur Les Centres De Dol-Languages. 137-145
Ludwig Staiger: Sequential Mappings of omega-Languages. 147-173
Jacobo Torán: On The Complexity of Computable Real Sequences. 175-180
Jean Paul Bordat: Complexité De Problèmes Liés Aux Graphes Sans Circuit. 181-197
Jyrki Katajainen, Olli Nevalainen: An Almost Naive Algorithm for Finding Relative Neighbourhood Graphs in L_p Metrics. 199-215

Jean-Michel Hélary, Aomar Maddi, Michel Raynal: Calcul Réparti D'un Extrémum Et Du Routage Associé Dans Un Réseau Quelconque. 223-244
Bruno Courcelle, Jean H. Gallier: Decidable Subcases of The Equivalence Problem for Recursive Program Schemes. 245-286
Dominique Méry: Méthode Axiomatique Pour Les Propriétés De Fatalité Des Programmes Parallèles. 287-322
Jana Ryslinková: Church-Rosser Property and Decidability of Monadic Theories of Unary Algebras. 323-329
Pierre G. Bonneau: Poids Et Équivalence Des Codes Linéaires. 331-339
Marc Chemillier: Monoïde Libre Et Musique Première Partie: Les Musiciens Ont-Ils Besoin Des Mathématiques? 341-371

Marc Chemillier: Monoïde Libre Et Musique: Deuxième Partie. 379-417
Johannes Köbler, Uwe Schöning, Klaus W. Wagner: The Difference and Truth-Table Hierarchies for NP. 419-435
Daniel Krob: Codes Limites Et Factorisations Finies Du Monoïde Libre. 437-467
Sylviane R. Schwer: Dépliage D'un Graphe Pointe En Un Cactus. 469-477
Guy Louchard: Exact and Asymptotic Distributions in Digital and Binary Search Trees. 479-495