scientific article; zbMATH DE number 4201627

MaRDI QIDQ3350764zbMATH OpenFDO

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

Publication date 1990

zbMATH Keywords

algebraic theory of computationbiflowequational logicflowchart schemes

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Symbolic computation and algebraic computation (68W30)

Recommendations

• scientific article; zbMATH DE number 4014009
• scientific article; zbMATH DE number 3956410
• scientific article; zbMATH DE number 4157896
• scientific article; zbMATH DE number 4100594
• On flowchart theories. II: The nondeterministic case
• scientific article; zbMATH DE number 4121404
• scientific article; zbMATH DE number 4113973
• Algebraic semantics of recursive flowchart schemes
• Nontrivial definability by flow-chart programs
• On flowchart theories. I. The deterministic case

Cited in

(12)

• An equational axiomatization of systolic systems
• A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization
• Axiomatizing schemes and their behaviors
• scientific article; zbMATH DE number 4014009 (Why is no real title available?)
• scientific article; zbMATH DE number 4157896 (Why is no real title available?)
• scientific article; zbMATH DE number 3928354 (Why is no real title available?)
• scientific article; zbMATH DE number 3956410 (Why is no real title available?)
• scientific article; zbMATH DE number 4100594 (Why is no real title available?)
• scientific article; zbMATH DE number 19983 (Why is no real title available?)
• scientific article; zbMATH DE number 4121404 (Why is no real title available?)
• scientific article; zbMATH DE number 4187117 (Why is no real title available?)
• Processes, Terms and Cycles: Steps on the Road to Infinity

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 Q3350764)