scientific article
From MaRDI portal
Publication:3707385
zbMath0584.68040MaRDI QIDQ3707385
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Prologdata typesrecursive specificationsstructural inductionautomatic prototyping of algebraic specificationsSRDL
This page was built for publication: