scientific article
From MaRDI portal
Publication:3347271
zbMath0558.68018MaRDI QIDQ3347271
Hidehiko Kita, Toshiki Sakabe, Yasuyoshi Inagaki
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
equational logicabstract data typessemantic domainalgebraic specification method of programming language
This page was built for publication: