scientific article
From MaRDI portal
Publication:3694667
zbMath0575.68018MaRDI QIDQ3694667
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Equational specification of partial higher-order algebras ⋮ Verifying an infinite systolic algorithm using third-order equational methods
This page was built for publication: