Geodesic

Volume 16 (1982) no. 1

Sommaire

A note on the undecidability of contextfreeness
p. 3-11
The separability of formal languages
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
p. 73-84