Sommaire

Grammaires parenthésées et bilangages réguliers

Marchand, P.

Access to full text
Full (PDF)
Full (DJVU)
p. 3-38

Numdam
An algorithm for the solution of fixed-point equations for infinite words

Heilbrunner, Stephan

Access to full text
Full (PDF)
Full (DJVU)
p. 131-141

Numdam
Systèmes de déduction pour les arbres et les schémas de programmes (I)

Enjalbert, P.

Access to full text
Full (PDF)
Full (DJVU)
p. 247-278

Numdam
Nondeterminism and fully abstract models

Astesiano, Egidio ; Costa, Gerardo

Access to full text
Full (PDF)
Full (DJVU)
p. 323-347

Numdam
On some properties of the syntactic semigroup of a very pure subsemigroup

De Luca, Aldo

Access to full text
Full (PDF)
Full (DJVU)
p. 39-56

Numdam
Une généralisation de la théorie des types en λ-calcul

Sallé, Patrick

Access to full text
Full (PDF)
Full (DJVU)
p. 143-167

Numdam
Computing of graphs of relations using generative grammars

Simovici, Dan A.

Access to full text
Full (PDF)
Full (DJVU)
p. 279-299

Numdam
On the equality sets for homomorphisms on free monoids with two generators

Culik II, K. ; Karhumäki, J.

Access to full text
Full (PDF)
Full (DJVU)
p. 349-369

Numdam
Sur l'élimination itérative des situations de blocage dans un système

Tchuente, Maurice

Access to full text
Full (PDF)
Full (DJVU)
p. 57-66

Numdam
Classes of languages proof against regular pumping

Sommerhalder, R.

Access to full text
Full (PDF)
Full (DJVU)
p. 169-180

Numdam
Une généralisation de la théorie des types en λ-calcul (II)

Sallé, Patrick

Access to full text
Full (PDF)
Full (DJVU)
p. 301-314

Numdam
Détermination de la représentation standard d'une série reconnaissable

Cardon, A. ; Crochemore, M.

Access to full text
Full (PDF)
Full (DJVU)
p. 371-379

Numdam
Two-way multihead automata over a one-letter alphabet

Monien, Burkhard

Access to full text
Full (PDF)
Full (DJVU)
p. 67-82

Numdam
Mots de Lyndon et périodicité

Duval, Jean-Pierre

Access to full text
Full (PDF)
Full (DJVU)
p. 181-191

Numdam
Construction, évaluation et amélioration systématiques de structures de données

Rémy, Jean-Luc

Access to full text
Full (PDF)
Full (DJVU)
p. 83-118

Numdam
Verschränkte homomorphismen formaler sprachen

Hotz, Günter

Access to full text
Full (PDF)
Full (DJVU)
p. 193-208

Numdam
Some consequences of a result of Ehrenfeucht and Rozenberg

PăUN, Gheorghe

Access to full text
Full (PDF)
Full (DJVU)
p. 119-122

Numdam
Factorisation des polynômes à plusieurs variables

Viry, Guy

Access to full text
Full (PDF)
Full (DJVU)
p. 209-223

Numdam
Topologies on free monoids induced by closure operators of a special type

Prodinger, Helmut

Access to full text
Full (PDF)
Full (DJVU)
p. 225-237

Numdam