Publication:3877673

From MaRDI portal

Jump to:navigation, search

zbMath0437.03025MaRDI QIDQ3877673

Dimiter Skordev

Publication date: 1976

zbMATH Keywords

search computability; iterative combinatory space; quasirecursivity

Mathematics Subject Classification ID

68Q65: Abstract data types; algebraic specification

03D99: Computability and recursion theory

03B40: Combinatory logic and lambda calculus

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