Publication:4176939
From MaRDI portal
zbMath0394.68008MaRDI QIDQ4176939
Eric G. Wagner, Jesse B. Wright, James W. Thatcher
Publication date: 1978
68Q55: Semantics in the theory of computing
18C10: Theories (e.g., algebraic theories), structure, and semantics
68N01: General topics in the theory of software
Related Items
Semantics of algorithmic languages, Recursion and iteration in continuous theories: the M-construction, Implementation of data types by algebraic methods, Deterministic and nondeterministic flowchart interpretations, A systematic study of models of abstract data types, P-varieties - a signature independent characterization of varieties of ordered algebras, Structured algebraic specifications: A kernel language, Varieties of chain-complete algebras, Recursion-closed algebraic theories, Partial abstract types, Classes of finite relations as initial abstract data types. I, Equational logic of circular data type specification, Unnamed Item