scientific article; zbMATH DE number 3793389

zbMATH Open0503.68013MaRDI QIDQ3969852FDOQ3969852

Authors: Giancarlo Mauri, P. A. Miglioli, Alberto Bertoni 

Publication date: 1981

Title of this publication is not available (Why is that?)

zbMATH Keywords

model theoryabstract data type

Mathematics Subject Classification ID

Data structures (68P05) Models of other mathematical theories (03C65)

Cited In (3)

• A constructive method for abstract algebraic software specification
• Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras
• Preface

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 Q3969852)