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 BibTeX
Alberto Marchetti-Spaccamela, Antonella Pelaggi: Worst Case Analysis of Two Heuristics for The Set Partitioning Problem. 11-23 BibTeX
Antoine Lobstein, Gérard D. Cohen: Sur La Complexité D'un Problème De Codage. 25-32 BibTeX
Michel Latteux: Sur Les Ensembles Linéaires. 33-40 BibTeX
Luc Boasson, Antoine Petit: Langages Algébriques Déterministes Non Générateurs. 41-57 BibTeX
Patrice Naudin: Comparaison Et Équivalence De Sémantiques Pour Les Schémas De Programmes Non Déterministes. 59-91 BibTeX

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

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 BibTeX
Bruno Courcelle, Jean H. Gallier: Decidable Subcases of The Equivalence Problem for Recursive Program Schemes. 245-286 BibTeX
Dominique Méry: Méthode Axiomatique Pour Les Propriétés De Fatalité Des Programmes Parallèles. 287-322 BibTeX
Jana Ryslinková: Church-Rosser Property and Decidability of Monadic Theories of Unary Algebras. 323-329 BibTeX
Pierre G. Bonneau: Poids Et Équivalence Des Codes Linéaires. 331-339 BibTeX
Marc Chemillier: Monoïde Libre Et Musique Première Partie: Les Musiciens Ont-Ils Besoin Des Mathématiques? 341-371 BibTeX

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