scientific article; zbMATH DE number 3706437

zbMATH Open0452.03037MaRDI QIDQ3898488FDOQ3898488

Authors: Dimiter Skordev 

Publication date: 1980

Title of this publication is not available (Why is that?)

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)

• Categorial generalization of algebraic recursion theory
• Title not available (Why is that?)

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)