scientific article; zbMATH DE number 4007715

MaRDI QIDQ3757389zbMATH OpenFDO

Authors D. I. Sviridenko, S. S. Goncharov

Publication date 1986

zbMATH Keywords

abstract data typesprogramming methodologyaxiomatic theoryabstract data structureslinear listsMany- sorted first-order theory

Mathematics Subject Classification ID

Data structures (68P05) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 4021108
• Σ-programming
• Publication:3472084
• Theory of partial-order programming
• A generalized mathematical theory of structured programming
• On the theory of program algebras
• THE Σλ-CALCULUS AND DERIVED PROGRAM FORMS
• On \(\ell_ p\) programming
• scientific article; zbMATH DE number 732051
• Semi-Infinite Programming: Theory, Methods, and Applications

Cited in

(8)

• The expressiveness of looping terms in the semantic programming
• On decidability of list structures
• Recursive terms in semantic programming
• scientific article; zbMATH DE number 4057488 (Why is no real title available?)
• Conditional terms in semantic programming
• scientific article; zbMATH DE number 4021108 (Why is no real title available?)
• scientific article; zbMATH DE number 4092732 (Why is no real title available?)
• On termination of transactions over semantic document models

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