scientific article
From MaRDI portal
Publication:3709853
zbMath0585.68010MaRDI QIDQ3709853
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Lagois connections -- a counterpart to Galois connections ⋮ Multilevel structured program designs and correctness proving ⋮ Three Debates about Computing ⋮ Parallel beta reduction is not elementary recursive
This page was built for publication:
