scientific article
From MaRDI portal
Publication:3819973
zbMath0667.68027MaRDI QIDQ3819973
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
normal formsalgebraic specificationsconditional term rewriting systemsValidationabstract data type specifications
This page was built for publication: