scientific article; zbMATH DE number 3812933

MaRDI QIDQ3660897zbMATH OpenFDO

Authors Michel Bidoit

Publication date 1982

zbMATH Keywords

abstract data typemany-sorted algebrasabstract data structurepredefined typestype of interest

Mathematics Subject Classification ID

Data structures (68P05)

Cited in

(2)

• Correctness proofs for abstract implementations
• scientific article; zbMATH DE number 4153905 (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 Q3660897)