scientific article
From MaRDI portal
Publication:3339253
zbMath0547.68011MaRDI QIDQ3339253
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Specification and top-down design of distributed systems ⋮ Equational specification of partial higher-order algebras ⋮ A type-theoretic approach to program development ⋮ Provably correct derivation of algorithms using FermaT
This page was built for publication:
