scientific article

zbMath0668.68015MaRDI QIDQ3821553

Ş. Grama, Virgil Emil Căzănescu

Publication date: 1987

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

zbMATH Keywords

algebraic theoryfactorizationflowchartsfree T-module

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Related Items (1)

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

This page was built for publication: