Sommaire

Algorithmes universels

Nolin, Louis

Access to full text
Full (PDF)
Full (DJVU)
p. 5-18

Numdam
Complexity of theorem-proving procedures : some general properties

Longo, G. ; Venturini Zilli, M.

Access to full text
Full (PDF)
Full (DJVU)
p. 5-18

Numdam
Sémantique formelle des opérateurs d'un langage de listes

Castanet, R.

Access to full text
Full (PDF)
Full (DJVU)
p. 19-36

Numdam
Une forme canonique pour les grammaires simples déterministes

Courcelle, Bruno

Access to full text
Full (PDF)
Full (DJVU)
p. 19-36

Numdam
A parenthesis machine for string manipulation

Dezani-Ciancaglini, Mariangiola

Access to full text
Full (PDF)
Full (DJVU)
p. 37-46

Numdam
Une généralisation de la notion d'ensemble immune

Flajolet, Philippe ; Steyaert, Jean-Marc

Access to full text
Full (PDF)
Full (DJVU)
p. 37-48

Numdam
Sur les termes nuls d'une suite récurrente cubique

Picon, P. A.

Access to full text
Full (PDF)
Full (DJVU)
p. 47-61

Numdam
A note on graph coloring

De Werra, D.

Access to full text
Full (PDF)
Full (DJVU)
p. 49-53

Numdam
Sur les monoïdes finis dont les groupes sont commutatifs

Schützenberger, M. P.

Access to full text
Full (PDF)
Full (DJVU)
p. 55-61

Numdam
Paradis terrestre dans l'automate cellulaire de Conway

Hardouin-Duparc, J.

Access to full text
Full (PDF)
Full (DJVU)
p. 63-71

Numdam
Une caractérisation des générateurs standard

Autebert, J. M. ; Beauquier, J.

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

Numdam
Topological automata

Ehrig, Hartmut ; Kühnel, Wolfgang

Access to full text
Full (PDF)
Full (DJVU)
p. 73-91

Numdam