Intrinsically recursive relations, in: Aspects of Effective Algebra (0)

by Christopher J Ash, Anil Nerode
Venue:Proc. Conf. Monash Univ