Publication:4041565

From MaRDI portal

Jump to:navigation, search

zbMath0291.02032MaRDI QIDQ4041565

Dimiter Skordev

Publication date: 1973

Mathematics Subject Classification ID

03D20: Recursive functions and relations, subrecursive hierarchies

03D99: Computability and recursion theory

68W99: Algorithms in computer science

03D60: Computability and recursion theory on ordinals, admissible sets, etc.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4041565&oldid=17765690"