scientific article

zbMath0418.68034MaRDI QIDQ3851612

Jesse B. Wright, James W. Thatcher, Eric G. Wagner

Publication date: 1979

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

zbMATH Keywords

posetsgraphsalgebraic theoriescontext-free grammarscategoriesequational classesalgebraic semanticsuniversal algebraabstract data typesflow chartheterogeneous algebrasalgebraic foundations of theoretical computer science

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Abstract data types; algebraic specification (68Q65) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Data structures (68P05) Special categories (18B99) Theories (e.g., algebraic theories), structure, and semantics (18C10) General topics in the theory of software (68N01) Categories of algebras (08C05) Algebraic structures (08A99) Categories of machines, automata (18B20) Research exposition (monographs, survey articles) pertaining to category theory (18-02) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02)

Related Items

On P-dominions of continuous algebras, On context-free trees, On flowchart theories. I. The deterministic case, Recursion-closed algebraic theories, Hierarchical development of programming languages, Classes of finite relations as initial abstract data types. I, A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization, The algebra of stream processing functions, Generalized filter models