scientific article; zbMATH DE number 3936489

MaRDI QIDQ3707375zbMATH OpenFDO

Authors N. Kh. Kasymov

Publication date 1984

zbMATH Keywords

Church-Rosser propertycongruence relationconstructive data typesfinite specificationmany-sorted algebrasreduction algorithmstrong normalization property

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Quasivarieties (08C15) General topics in the theory of software (68N01) Data structures (68P05)

Recommendations

• Publication:4728229
• scientific article; zbMATH DE number 4078769
• scientific article; zbMATH DE number 3967897
• Algebraic specifiability of data types with minimal computable parameters
• scientific article; zbMATH DE number 4053598

Cited in

(6)

• Which data types have -complete initial algebra specifications?
• scientific article; zbMATH DE number 3967897 (Why is no real title available?)
• scientific article; zbMATH DE number 4078769 (Why is no real title available?)
• scientific article; zbMATH DE number 4001458 (Why is no real title available?)
• scientific article; zbMATH DE number 4003501 (Why is no real title available?)
• Separable algorithmic representations of classical systems and their applications

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