scientific article; zbMATH DE number 4052989

MaRDI QIDQ3789047zbMATH OpenFDO

Authors Corrado Böhm

Publication date 1988

zbMATH Keywords

algebraic data typescomputational complexitydata systemsfunctional programmingheterogeneous term algebrasinitial algebrasiterative functionsprimitive recursion schemesimultaneous recursive equationssubrecursive function theory

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3960962
• scientific article; zbMATH DE number 598180
• scientific article; zbMATH DE number 14698
• Primitive recursion in the abstract
• Publication:3204453

Cited in

(5)

• scientific article; zbMATH DE number 4181319 (Why is no real title available?)
• scientific article; zbMATH DE number 3960962 (Why is no real title available?)
• scientific article; zbMATH DE number 14698 (Why is no real title available?)
• scientific article; zbMATH DE number 5033861 (Why is no real title available?)
• On the power of recursion in dataflow schemes

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