A note on extending equivalence theories of algorithms

DOI10.1016/0020-0190(74)90025-8zbMath0314.02046OpenAlexW1996953416MaRDI QIDQ1220498

Kojiro Kobayashi

Publication date: 1974

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(74)90025-8

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Algorithms in computer science (68W99)

Cites Work

• Gödel numberings of partial recursive functions
• Unnamed Item

This page was built for publication: A note on extending equivalence theories of algorithms