default search action
Informatique Théorique et Applications, Volume 21
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
Volume 21, Number 2, 1987
- 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 Lp Metrics. 199-215
Volume 21, Number 3, 1987
- 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
Volume 21, Number 4, 1987
- 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.