Informatique Théorique et Applications, Volume 22, 1988

Volume 22, Number 1, 1988

• Jean-Paul Delahaye: Sémantique Logique Et Dénotationnelle Des Interpréteurs Prolog. 3-42
• Symeon Bozapalidis: Sur Une Classe De Transformations D'Arbres. 43-47
• Irène Guessarian: A Note On Fixpoint Techniques in Data Base Recursive Logic Programs. 49-56
• Françoise Garcia: Étude Et Implémentation D'Un Système De Déduction Pour Logique Algorithmique. 57-92
• Klaus Madlener, Friedrich Otto: Commutativity in Groups Presented By Finite Church-Rosser Thue Systems. 93-111
• Gérard Duchamp, Jean-Yves Thibon: Bisections Reconnaissables. 113-128

Volume 22, Number 2, 1988

• A. J. Kfoury: A Linear-Time Algorithm to Decide Whether A Binary Word Contains An Overlap. 135-145
• Lamine Melkemi, Maurice Tchuente: Un Réseau Linéaire Pour La Reconnaissance Des Mots Sans Carré. 147-161
• Wolfgang Wechler: A Note On The Iteration of Infinite Matrices. 163-171
• Jean-Louis Durieux, Emmanuel Saint-James: Une Charpente De Semi-Unification. 173-226
• José L. Balcázar, David A. Russo: Immunity and Simplicity in Relativizations of Probabilistic Complexity Classes. 227-244
• Pierre Charrier, Jean Roman: Étude De La Séparation Et De L'Élimination Sur Une Famille De Graphes Quotients Déduite D'Une Méthode De Dissections Emboîtées. 245-265

Volume 22, Number 3, 1988

• Marco Bellia: Logic and Functional Programming by Retractions. 271-310
• Martine Leonard: A Property of Biprefix Codes. 311-318
• Kai Salomaa: Yield-Languages Recognized by Alternating Tree Recognizers. 319-339
• Patrick Bellot, Djamil Sarni: Proposal for A Natural Formalization of Functional Programming Concepts. 341-360
• Dominique Gouyou-Beauchamps, Bernard Vauquelin: Deux Propriétés Combinatoires Des Nombres De Schröder. 361-388

Volume 22, Number 4, 1988

• Marco Bellia: Logic and Functional Programming by Retractions: Operational Semantics. 395-436
• Denis Thérien: Categories Et Langages De Dot-Depth Un. 437-445
• Klaus Kriegel, Stephan Waack: Lower Bounds on The Complexity of Real-Time Branching Programs. 447-459
• Gérard Jacob: Genralized Cancellation-And-Permutation Properties, Regular Languages and Supports of Rational Series. 461-486
• Marek Chrobak, Maciej Slusarek: On Some Packing Problem Related to Dynamic Storage Allocation. 487-499