RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 16 (1982) no. 1

Sommaire

A note on the undecidability of contextfreeness

p. 3-11

The separability of formal languages

Pinzani, R. ; Sprugnoli, R.

p. 13-31

Description d'une classe de grammaires de graphes sans circuit

p. 33-49

A new class of balanced search trees : half-balanced binary search tress

p. 51-71

Extended primitive recursive functions

Mentrasti, P. ; Protasi, M.

p. 73-84