scientific article; zbMATH DE number 3609146
From MaRDI portal
Publication:4174249
zbMath0392.68052MaRDI QIDQ4174249
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) General topics in the theory of software (68N01) Algorithms in computer science (68W99) General commutative ring theory (13A99)
Related Items
Solvability of equivalence problems in a system of algorithmic algebras, Functional completeness criteria in Dijkstra algebra, Multilevel synthesis of structured programs, Formalized analysis of complex systems. I
