Publication:4703449
From MaRDI portal
zbMath0944.03505MaRDI QIDQ4703449
Eiju Hirowatari, Carl H. Smith, Rūsiņš Freivalds, Setsuo Arikawa, Kalvis Apsītis
Publication date: 15 December 1999
03D20: Recursive functions and relations, subrecursive hierarchies
03D80: Applications of computability and recursion theory