Informatique Théorique et Applications, Volume 11, 1977

Volume 11, Number 1, 1977

• F. H. Raymond: Note sur la Suppression des Étiquettes en Programmation. 3-16
• Juhani Karhumäki: The Decidability of the Equivalence Problem for Polynomially Bounded DOL Sequences. 17-28
• Michel Latteux: Cônes Rationnels Commutativement Clos. 29-51
• Celia Wrathall: Characterizations of the Dyck Sets. 53-62
• Bernard Robinet, François Nozick: Sémantique des Structures de Contrôle. 63-74
• Aldo Aiello, Ernesto Burattini, A. Massarotti: Reducibility as a Tool to Extend the Power of Approximation Algorithms the Minimization of Boolean Expressions. 75-82

Volume 11, Number 2, 1977

• Jacques J. Arsac: Emploi de Méthodes Constructives en Programmation. Un Dossier: La Fonction d'Ackermann. 91-112
• Gérard Berry: Calculs Ascendants du Programme d'Ackermann: Analyse du Programme de J. Arsac. 113-126
• Sheila A. Greibach: A Note on NSPACE(log₂ n) and Substitution. 127-132
• Irène Guessarian: Tests et leur Caractérisation Syntaxique. 133-156
• Phan Dinh Dieu: Asymtpotical Estimation of Some Characteristics of Finite Graphs. 157-174

Volume 11, Number 3, 1977

• Ivan Hal Sudborough: Some Remarks on Multihead Automata. 181-195
• Antonio Restivo: Mots Sans Répétitions et Langages Rationnels Bornés. 197-202
• Luc Boasson, Antonio Restivo: Une Caractérisation des Langages Algébriques Bornés. 203-205
• Keijo Ruohonen: A Note on Equal Powers of Word Morphisms. 207-211
• Bernard Robinet: Un Modèle Fonctionnel des Structures de Contrôle. 213-236
• Laurent Kott: Sémantique Algébrique d'un Langage de Programmation Type Algol. 237-263

Volume 11, Number 4, 1977

• Andrzej Ehrenfeucht, Grzegorz Rozenberg: On Some Context Free Languages That Are Not Deterministic ETOL Languages. 273-291
• Huei-Jan Shyr, Gabriel Thierrin: Codes, Languages and MOL Schemes. 293-301
• Gheorghe Paun: An Operation with Languages Occurring in the Linguistic Approach to the Management. 303-310
• Maurice Nivat: Mots Infinis Engendrés par Une Grammaire Algébrique. 311-327
• Luis E. Sanchis: Data Types as Lattices: Retractions, Closures and Projections. 329-344

Last update Tue Feb 14 04:19:47 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page