RAIRO. Informatique théorique, Tome 16 (1982) no. 1

Sommaire

A note on the undecidability of contextfreeness

Albert, J.

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

Cori, Marcel

p. 33-49

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

Olivié, H. J.

p. 51-71

Extended primitive recursive functions

Mentrasti, P. ; Protasi, M.

p. 73-84