scientific article; zbMATH DE number 4121404

MaRDI QIDQ4734754zbMATH OpenFDO

Authors Virgil Emil Căzănescu, Gh. Ştefănescu

Publication date 1989

zbMATH Keywords

flowchart schemealgebra of flowchartalgebra of pairs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of computing (68Q99)

Recommendations

• scientific article; zbMATH DE number 4100594
• Publication:3485876
• scientific article; zbMATH DE number 4201627
• Axiomatizing schemes and their behaviors
• scientific article; zbMATH DE number 19983

Cited in

(12)

• scientific article; zbMATH DE number 3917682 (Why is no real title available?)
• Enumeration of structured flowcharts
• scientific article; zbMATH DE number 3581614 (Why is no real title available?)
• The duality between flow charts and circuits
• scientific article; zbMATH DE number 3956410 (Why is no real title available?)
• scientific article; zbMATH DE number 4100594 (Why is no real title available?)
• The algebra of stream processing functions
• scientific article; zbMATH DE number 522842 (Why is no real title available?)
• scientific article; zbMATH DE number 4201627 (Why is no real title available?)
• scientific article; zbMATH DE number 4094777 (Why is no real title available?)
• A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization
• scientific article; zbMATH DE number 3890699 (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 Q4734754)