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

Table of contents

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