Publication:4703449

zbMath0944.03505MaRDI QIDQ4703449

Eiju Hirowatari, Carl H. Smith, Rūsiņš Freivalds, Setsuo Arikawa, Kalvis Apsītis

Publication date: 15 December 1999

Mathematics Subject Classification ID

03D20: Recursive functions and relations, subrecursive hierarchies

03D80: Applications of computability and recursion theory