scientific article; zbMATH DE number 845921

MaRDI QIDQ4864464zbMATH OpenFDO

Authors Inge Bethke, P. H. Rodenburg

Publication date 5 March 1996

zbMATH Keywords

equational reasoning

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cited in

(1)

• scientific article; zbMATH DE number 7455704 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4864464)