scientific article; zbMATH DE number 3555422
From MaRDI portal
Publication:4127981
zbMath0356.68016MaRDI QIDQ4127981
Publication date: 1972
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time ⋮ Effective proper procedures and universal classes of program schemata ⋮ Computation by `While' programs on topological partial algebras ⋮ Translatability of schemas over restricted interpretations
This page was built for publication:
