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 BibTeX
Symeon Bozapalidis: Sur Une Classe De Transformations D'Arbres. 43-47 BibTeX
Irène Guessarian: A Note On Fixpoint Techniques in Data Base Recursive Logic Programs. 49-56 BibTeX
Françoise Garcia: Étude Et Implémentation D'Un Système De Déduction Pour Logique Algorithmique. 57-92 BibTeX
Klaus Madlener, Friedrich Otto: Commutativity in Groups Presented By Finite Church-Rosser Thue Systems. 93-111 BibTeX
Gérard Duchamp, Jean-Yves Thibon: Bisections Reconnaissables. 113-128 BibTeX

A. J. Kfoury: A Linear-Time Algorithm to Decide Whether A Binary Word Contains An Overlap. 135-145 BibTeX
Lamine Melkemi, Maurice Tchuente: Un Réseau Linéaire Pour La Reconnaissance Des Mots Sans Carré. 147-161 BibTeX
Wolfgang Wechler: A Note On The Iteration of Infinite Matrices. 163-171 BibTeX
Jean-Louis Durieux, Emmanuel Saint-James: Une Charpente De Semi-Unification. 173-226 BibTeX
José L. Balcázar, David A. Russo: Immunity and Simplicity in Relativizations of Probabilistic Complexity Classes. 227-244 BibTeX
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 BibTeX

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

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