Algebras with actions and automata

DOI10.1155/S0161171282000076zbMath0469.18001OpenAlexW1992749094MaRDI QIDQ1156864

Michael Pfender, Ignacio Sols, José Meseguer, Wolfgang Kuehnel

Publication date: 1982

Published in: International Journal of Mathematics and Mathematical Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1155/s0161171282000076

zbMATH Keywords

many-sorted algebrasalgebraic structures relative to a base categoryLawveres functorial semantics

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Categories of machines, automata (18B20) Algorithms in computer science (68W99) Foundations, relations to logic and deductive systems (18A15)

This page was built for publication: Algebras with actions and automata