scientific article; zbMATH DE number 3722074

zbMATH Open0461.68024MaRDI QIDQ3911368FDOQ3911368

Authors: Herbert A. Klaeren 

Publication date: 1980

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

zbMATH Keywords

extensionalgebraic specificationsenrichmentstructural recursive schemata

Mathematics Subject Classification ID

Data structures (68P05)

Cited In (2)

• A simple transfer lemma for algebraic specifications
• Semantics of algorithmic languages

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