scientific article; zbMATH DE number 897897

zbMATH Open0851.68073MaRDI QIDQ4884890FDOQ4884890

Authors: Á. Fóthi, J. Nyéky-Gaizler, F. Steingart 

Publication date: 8 July 1996

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

zbMATH Keywords

data types

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Abstract data types; algebraic specification (68Q65)

Cited In (1)

• Superposition with datatypes and codatatypes

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