Informatique Théorique et Applications, Volume 31, 1997

Volume 31, Number 1, 1997

Jean Neraud: Detecting the Morphic Images of a Word: Improving the General Algorithm. 1-14
Luca Breveglieri: Fair Expressions and Regular Languages over Lists. 15-66
Keijo Ruohonen: Undecidable Event Detection Problems for Odes of Dimension One and Two. 67-79
Juha Honkala: On Lindenmayerian Rational Subsets of Monoids. 81-96

Bernadette Charron-Bost, Robert Cori, Antoine Petit: Introduction à l'algorithmique des objets partagés. 97-148
Nicola Galesi: A Syntactic Characterization of Bounded-Rank Decision Trees in Terms of Decision Lists. 149-158
Maurice Margenstern: The Laterality Problem for Non-Erasing Turing Machines on {0, 1} is Completely Solved. 159-204

M. Hibti, Bruno Legeard, Henri Lombardi: Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini. 205-236
Francine Blanchet-Sadri: On the Semidirect Product of the Pseudovariety of Semilattices by a Locally Finite Pseudovariety of Groups. 237-250
Xavier Messeguer: Skip Trees, an Alternative Data Structure to Skip Lists in a Concurrent Approach. 251-269
Jacques Justin, Giuseppe Pirillo: Decimations and Sturmian Words. 271-290
Ismo Hakala, Juha Kortelainen: Polynomial Size Test Sets for Commutative Languages. 291-304

Bernadette Charron-Bost, Gerard Tel: Calculs approchés de la borne inférieure de valeurs réparties. 305-330
Sorina Dumitrescu, Gheorghe Paun: On the Power of Parallel Communicating Grammar Systems with Right-Linear Components. 331-354
Olivier Carton: A Hierarchy of Cyclic Languages. 355-369
André Arnold: A Selection Property of the Boolean µ-Calculus and Some of its Applications. 371-384
Didier Arquès, Jean François Béraud: Énumération des cartes pointées sur la bouteille de Klein. 385-409

G. Blanc, Karine Liogier: Négation constructive et aximatique interne. 411-428
Stefano Basagni, Danilo Bruschi, F. Ravasio: On the Difficulty of Finding Walks of Length k. 429-435
Rafael C. Carrasco: Accurate Computation of the Relative Entropy Between Stochastic Regular Grammars. 437-444
Tero Harju, Lucian Ilie: Languages Obtained from Infinite Words. 445-455
Jorge Almeida, Marc Zeitoun: The Pseudovariety J is Hyperdecidable. 457-482
Riccardo Pucella: An Analysis of Lambek's Production Machines. 483-497

Nadia Creignou, Jean-Jacques Hébrard: On Generating All Solutions of Generalized Satisfiability Problems. 499-511
Samir Farkh, Karim Nour: Résultats de complétude pour des classes de types du système AF2. 513-537
Karim Nour: Une réponse négative à la conjecture de E. Tronci pour les systémes numériques typés. 539-558