Q3974854
type: Item
instance of: scholarly article
zbMATH Open document ID: 0756.68077
publication date: 1992-06-26T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 18C05
Mathematics Subject Classification ID: 18C10
zbMATH DE Number: 17530
zbMATH Keywords: algebraic analysis of flowchart algorithms
author: Stephen L. Bloom
MaRDI profile type: Publication
Recommended article: Q5287508
Recommended article: Equational reasoning about nondeterministic processes
Recommended article: Algebra and Coalgebra in Computer Science
Recommended article: Equational logic as a tool
Recommended article: Elgot theories: a new perspective on the equational properties of iteration
Recommended article: Algebraic Methodology and Software Technology
Recommended article: The equational logic of fixed points
Recommended article: An Equational Approach to Logic Programming
Recommended article: Q3204446
description: scientific article; zbMATH DE number 17530