scientific article; zbMATH DE number 3612415
From MaRDI portal
Publication:4176939
zbMath0394.68008MaRDI QIDQ4176939
James W. Thatcher, Jesse B. Wright, Eric G. Wagner
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Theories (e.g., algebraic theories), structure, and semantics (18C10) General topics in the theory of software (68N01)
Related Items (14)
Structured algebraic specifications: A kernel language ⋮ Some quasi-varieties of iteration theories ⋮ Varieties of chain-complete algebras ⋮ Recursion-closed algebraic theories ⋮ Partial abstract types ⋮ Classes of finite relations as initial abstract data types. I ⋮ Unnamed Item ⋮ Semantics of algorithmic languages ⋮ Equational logic of circular data type specification ⋮ Recursion and iteration in continuous theories: the M-construction ⋮ Implementation of data types by algebraic methods ⋮ P-varieties - a signature independent characterization of varieties of ordered algebras ⋮ Deterministic and nondeterministic flowchart interpretations ⋮ A systematic study of models of abstract data types
This page was built for publication:
