scientific article; zbMATH DE number 17530

zbMATH Open0756.68077MaRDI QIDQ3974854FDOQ3974854

Authors: Stephen L. Bloom 

Publication date: 26 June 1992

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

Recommendations

• scientific article; zbMATH DE number 233974
• Equational reasoning about nondeterministic processes
• Algebra and Coalgebra in Computer Science
• Equational logic as a tool
• Elgot theories: a new perspective on the equational properties of iteration
• Algebraic Methodology and Software Technology
• The equational logic of fixed points
• An equational approach to logic programming
• Publication:3204446

zbMATH Keywords

algebraic analysis of flowchart algorithms

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theories (e.g., algebraic theories), structure, and semantics (18C10) Equational categories (18C05)

Cited In (4)

• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
• On Programming by Iterations
• Algebraic Methodology and Software Technology
• Equational reasoning about nondeterministic processes

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