scientific article; zbMATH DE number 3804820

zbMATH Open0509.68014MaRDI QIDQ4747503FDOQ4747503

Authors: B. Kutzler, F. Lichtenberger 

Publication date: 1983

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

zbMATH Keywords

algebraic specification

Mathematics Subject Classification ID

Data structures (68P05) Theory of software (68N99) Bibliographies for mathematics in general (00A15)

Cited In (4)

• The data type variety of stack algebras
• Algebraic specifications of computable and semicomputable data types
• Term-rewriting systems with rule priorities
• Categorical aspects of data type constructors

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