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 BibTeX
Juhani Karhumäki: The Decidability of the Equivalence Problem for Polynomially Bounded DOL Sequences. 17-28 BibTeX
Michel Latteux: Cônes Rationnels Commutativement Clos. 29-51 BibTeX
Celia Wrathall: Characterizations of the Dyck Sets. 53-62 BibTeX
Bernard Robinet, François Nozick: Sémantique des Structures de Contrôle. 63-74 BibTeX
Aldo Aiello, Ernesto Burattini, A. Massarotti: Reducibility as a Tool to Extend the Power of Approximation Algorithms the Minimization of Boolean Expressions. 75-82 BibTeX

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

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

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