default search action
Informatique Théorique et Applications, Volume 11
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 J. 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(log2 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 J. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.