Informatique Théorique et Applications
, Volume 9, 1975
Volume 9, Number 1, Avril 1975
François Rodriguez
: Une Double Hierarchie Infinie de Langages Verifiables. 5-20
BibTeX
F. G. Cousineau
,
J.-M. Rifflet
: Langages d'Interpretation des Schemas Recursifs. 21-42
BibTeX
Paul Feautrier
: Post Grammars as a Programming Language Description Tool. 43-72
BibTeX
Volume 9, Number 2, Août 1975
Sheila A. Greibach
: A Note on the Recognition of One Counter Languages. 5-12
BibTeX
Andrzej Ehrenfeucht
,
Grzegorz Rozenberg
: A Pumping Theorem for Deterministic Etol Languages. 13-12
BibTeX
J. L. Durieux
: Sur l'Image, par une Transduction Rationelle, des Mots sur une Lettre. 25-37
BibTeX
Rüdiger Valk
: On Some Elementary Properties of Uniform Automata. 39-54
BibTeX
Roger Mohr
: Generalisation de la Notion de Langage a Contexte Libre. Application a l'Analyse Syntaxique de Figures. 55-88
BibTeX
Volume 9, Number 3, Décembre 1975
G. Criscuolo
,
E. Minicozzi
,
G. Trautteur
: Limiting Recursion and the Arithmetic Hierarchy. 5-12
BibTeX
Dominique Gouyou-Beauchamps
: Deux Proprietes Combinatoires du Langage de Lukasiewicz. 13-24
BibTeX
F. H. Raymond
: Note sur l'Argebre des Fonctions. 25-49
BibTeX
Michel Latteux
: Sur les TOL - Systemes Unaires. 51-62
BibTeX
Copyright ©
Sun May 17 00:04:51 2009 by
Michael Ley
(
ley@uni-trier.de
)