scientific article; zbMATH DE number 3798986
From MaRDI portal
Publication:4743710
zbMath0506.68009MaRDI QIDQ4743710
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Data structures (68P05) General topics in the theory of software (68N01)
Related Items (8)
The verification of modules ⋮ Complete semi-Thue systems for abelian groups ⋮ Inductively defined functions in functional programming languages ⋮ Categorical aspects of data type constructors ⋮ The equational theory of parameterized specifications ⋮ When is an extension of a specification consistent? Decidable and undecidable cases ⋮ Term-rewriting systems with rule priorities ⋮ A constructive method for abstract algebraic software specification
This page was built for publication:
