scientific article

zbMath0727.68052MaRDI QIDQ3350764

Gheorghe Ştefănescu, Virgil Emil Căzănescu

Publication date: 1990

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

equational logicflowchart schemesalgebraic theory of computationbiflow

Mathematics Subject Classification ID

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

Related Items

A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization