A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization
type: Item
instance of: scholarly article
title: A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization
zbMATH Open document ID: 0770.68037
DOI: 10.1016/0304-3975(92)90171-B
author: Gh. Ştefănescu
author: Virgil Emil Căzănescu
published in: Theoretical Computer Science
publication date: 1992-09-27T00:00:00Z
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 65322
zbMATH Keywords: abstract flowchart scheme
zbMATH Keywords: accessibility
zbMATH Keywords: reduction
zbMATH Keywords: minimization
MaRDI profile type: Publication
cites work: Adjoint machines, state-behavior machines, and duality
cites work: Q3886881
cites work: Q3026323
cites work: Vector Iteration in Pointed Iterative Theories
cites work: Axiomatizing schemes and their behaviors
cites work: Q3777431
cites work: Q3821553
cites work: Q3979473
cites work: Q3826107
cites work: Q3485876
cites work: Q4734754
cites work: Classes of finite relations as initial abstract data types. I
cites work: Q3350764
cites work: Q4729330
cites work: Q4091917
cites work: Structured Programming With and Without go to Statements
cites work: Matricial theories
cites work: Q4165484
cites work: On the algebraic structure of rooted trees
cites work: Q3919058
cites work: On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs
cites work: Q5613193
cites work: Equidivisible semigroups
cites work: Q5639839
cites work: Q4123496
cites work: Q5751953
cites work: On flowchart theories. I. The deterministic case
cites work: On flowchart theories. II: The nondeterministic case
cites work: Q3851612
full work available at URL: 0304-3975(92)90171-b
OpenAlex ID: W1970645772
description: scientific article; zbMATH DE number 65322