scientific article; zbMATH DE number 3804820

zbMath0509.68014MaRDI QIDQ4747503

B. Kutzler, F. Lichtenberger

Publication date: 1983

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

algebraic specification

Mathematics Subject Classification ID

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

Related Items

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