Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
OFF
Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
Tout
Tout
Auteur
Titre
Bibliographie
Mots clés
Plein texte
Rechercher
NOT
Entre
et
Auteur
Tout
Auteur
Titre
Date
Bibliographie
Mots clés
Plein texte
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Tome 14 (1980)
Sommaire du
Fascicule no. 1
Grammaires parenthésées et bilangages réguliers
Marchand, P.
p. 3-38
On some properties of the syntactic semigroup of a very pure subsemigroup
De Luca, Aldo
p. 39-56
Sur l'élimination itérative des situations de blocage dans un système
Tchuente, Maurice
p. 57-66
Two-way multihead automata over a one-letter alphabet
Monien, Burkhard
p. 67-82
Construction, évaluation et amélioration systématiques de structures de données
Rémy, Jean-Luc
p. 83-118
Some consequences of a result of Ehrenfeucht and Rozenberg
PăUN, Gheorghe
p. 119-122
Sommaire du
Fascicule no. 2
An algorithm for the solution of fixed-point equations for infinite words
Heilbrunner, Stephan
p. 131-141
Une généralisation de la théorie des types en
λ
-calcul
Sallé, Patrick
p. 143-167
Classes of languages proof against regular pumping
Sommerhalder, R.
p. 169-180
Mots de Lyndon et périodicité
Duval, Jean-Pierre
p. 181-191
Verschränkte homomorphismen formaler sprachen
Hotz, Günter
p. 193-208
Factorisation des polynômes à plusieurs variables
Viry, Guy
p. 209-223
Topologies on free monoids induced by closure operators of a special type
Prodinger, Helmut
p. 225-237
Sommaire du
Fascicule no. 3
Systèmes de déduction pour les arbres et les schémas de programmes (I)
Enjalbert, P.
p. 247-278
Computing of graphs of relations using generative grammars
Simovici, Dan A.
p. 279-299
Une généralisation de la théorie des types en
λ
-calcul (II)
Sallé, Patrick
p. 301-314
Sommaire du
Fascicule no. 4
Nondeterminism and fully abstract models
Astesiano, Egidio
;
Costa, Gerardo
p. 323-347
On the equality sets for homomorphisms on free monoids with two generators
Culik II, K.
;
Karhumäki, J.
p. 349-369
Détermination de la représentation standard d'une série reconnaissable
Cardon, A.
;
Crochemore, M.
p. 371-379