scientific article; zbMATH DE number 3706437

MaRDI QIDQ3898488zbMATH OpenFDO

Authors Dimiter Skordev

Publication date 1980

zbMATH Keywords

combinatory spacedata processingiterationpartially ordered semi-grouprecursiveness

Mathematics Subject Classification ID

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

Cited in

(2)

• Categorial generalization of algebraic recursion theory
• 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 Q3898488)