scientific article; zbMATH DE number 3706437

MaRDI QIDQ3898488zbMATH OpenFDO

Authors Dimiter Skordev

Publication date 1980

zbMATH Keywords

iterationrecursivenessdata processingpartially ordered semi-groupcombinatory space

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Ordered semigroups and monoids (06F05) Complexity of computation (including implicit computational complexity) (03D15) Theory of operating systems (68N25) Abstract and axiomatic computability and recursion theory (03D75)

Cited in

(2)

• scientific article; zbMATH DE number 7809184 (Why is no real title available?)
• Categorial generalization of algebraic recursion theory

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 Q3898488)