scientific article; zbMATH DE number 3681750

MaRDI QIDQ3877673zbMATH OpenFDO

Authors Dimiter Skordev

Publication date 1976

zbMATH Keywords

search computabilityiterative combinatory spacequasirecursivity

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Abstract data types; algebraic specification (68Q65) Computability and recursion theory (03D99)

Cited in

(1)

• scientific article; zbMATH DE number 7809184 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3877673)