scientific article; zbMATH DE number 3890699

MaRDI QIDQ3347255zbMATH OpenFDO

Authors Zoltán Ésik

Publication date 1982

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 233974
• Iteration constructs in data-flow visual programming languages
• scientific article; zbMATH DE number 3956410
• Varieties of Iteration Theories
• scientific article; zbMATH DE number 4100594
• Enumeration of structured flowcharts
• scientific article; zbMATH DE number 4121404
• On flowchart theories. II: The nondeterministic case
• scientific article; zbMATH DE number 37928
• On flowchart theories. I. The deterministic case

Cited in

(4)

• scientific article; zbMATH DE number 3924121 (Why is no real title available?)
• On flowchart theories. I. The deterministic case
• scientific article; zbMATH DE number 4045122 (Why is no real title available?)
• scientific article; zbMATH DE number 4066930 (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 Q3347255)