scientific article; zbMATH DE number 4007715

zbMATH Open0621.68021MaRDI QIDQ3757389FDOQ3757389

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

Publication date: 1986

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

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

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)

Cited In (8)

• Title not available (Why is that?)
• Recursive terms in semantic programming
• Conditional terms in semantic programming
• Title not available (Why is that?)
• Title not available (Why is that?)
• The expressiveness of looping terms in the semantic programming
• On decidability of list structures
• 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)