Informatique Théorique et Applications, Volume 24, 1990
Volume 24, 1990
- J.-C. Fournier: Pour en finir avec la dérécursivation du problème de Tours de Hanoï. 17-36
- Jean-Camille Birget: Two-way automaton computations. 47-66
- Habib Abdulrab: Solving word equations. 109-130
- A. Paugam: Résolution du problème de l'ellipse et du cercle par l'algorithme de Hörmander. 161-188
- Carlo Gaibisso, Giorgio Gambosi, Maurizio Talamo: A partially persistent data structure for the set-union problem. 189-204
- Aldo de Luca, Stefano Varricchio: A combinatorial theorem on p-power-free words and an application to semigroups. 205-228
- Ker-I Ko: A note on separating the relativized polynomial time hierarchy by immune sets. 229-240
- Laurent Pierre, Jean-Marc Farinone: Context-free languages with rational index in Theta(nlambda) for algebraic numbers lambda. 275-326
- Didier Caucal: Graphes canoniques de graphes algébriques. 339-352
- Carole Delporte-Gallet, Hugues Fauconnier, Maurice Nivat: Parallélisation d'algorithmes avec un nombre fixe de processeurs. 353-386
- Guy Viry: Factorisation sur Z[X] des polynômes de degré élevé à l'aide d'un monomorphisme. 387-408
- Giovanna Guaiana, Antonio Restivo, Sergio Salemi: Complete subgraphs of bipartite graphs and applications to trace languages. 409-418
- Maurice Boffa: Une remarque sur les systèmes complets d'identités rationnelles. 419-428
- G. Gagliardi, Sauro Tulipani: On algebraic specifications of computable algebras with the discriminator technique. 429-440
- Jean Neraud: Elementariness of a finite set of words is co-NP-complete. 459-470
- Ulrich Huckenbeck: On geometric automata which can nondeterminstically choose auxiliary points. 471-488
- Manfred Kudlek: Comparison of basic language generating devices (non-deterministic systems). 489-520
- Francine Blanchet-Sadri: On dot-depth two. 521-530
- Bertrand Le Saëc: Saturating right congruences. 545-560
- Laureano González-Vega, Henri Lombardi, Tomás Recio, Marie-Françoise Roy: Spécialisation de la suite de Sturm et sous-résulants. 561-
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team