scientific article; zbMATH DE number 4121404

zbMATH Open0684.68027MaRDI QIDQ4734754FDOQ4734754

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

Publication date: 1989

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

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

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)

Cited In (12)

• Title not available (Why is that?)
• Enumeration of structured flowcharts
• Title not available (Why is that?)
• The duality between flow charts and circuits
• Title not available (Why is that?)
• Title not available (Why is that?)
• The algebra of stream processing functions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization
• Title not available (Why is that?)

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)