scientific article; zbMATH DE number 4060752

MaRDI QIDQ3795255zbMATH OpenFDO

Authors Virgil Emil Căzănescu

Publication date 1988

zbMATH Keywords

algebraic semanticsalgebraic theory with iterateflowcharts

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Algebras of iteration theories
• From iterative algebras to iterative theories (extended abstract)
• On Algebras with Iteration
• Algebras with parametrized iterativity
• scientific article; zbMATH DE number 1543319
• Iterative algebras
• On algebras with effectful iteration
• ITERATION ALGEBRAS
• Algebras for iteration and infinite computations
• scientific article; zbMATH DE number 4197440

Cited in

(4)

• Iterating conditionals and symmetric Stone algebras
• scientific article; zbMATH DE number 1696553 (Why is no real title available?)
• On the Nullity of Altans and Iterated Altans
• scientific article; zbMATH DE number 4187117 (Why is no real title available?)

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