Geodesic

Volume 2 (1963) no. 3

Sommaire

On the recognition of replaceability in recursive languages
p. 5-22
Decidability of the elementary theory of sphere inclusion
p. 23-27
Undecidability of elementary theories of certain classes of finite
p. 29-51