scientific article; zbMATH DE number 1324645

zbMath0920.68086MaRDI QIDQ4255540

Jos van Wamel, Sebastiaan van Vlijmen

Publication date: 18 August 1999

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=21#21004

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

algebraic formalismProtoCold

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

This page was built for publication: