Journals
Seminars
Books
Lecture notes
Theses
Authors
OFF
Journals
Seminars
Books
Lecture notes
Theses
Authors
All
All
Author
Title
References
Keywords
Full text
Search
NOT
Between
and
Author
All
Author
Title
Date
References
Keywords
Full text
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Volume 14 (1980)
Issue no. 1
Table of Contents
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
Issue no. 2
Table of Contents
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
Issue no. 3
Table of Contents
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
Issue no. 4
Table of Contents
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