×
Kühnel, Wolfgang; Pfender, Michael; Meseguer, Jose; Sols, Ignacio

Algebras with actions and automata. (English) Zbl 0469.18001

Int. J. Math. Math. Sci. 5, 61-85 (1982).
This paper is identical with the preprint [Preprint Reihe Mathematik TU Berlin, No.9, 32 p (1975; Zbl 0311.18002)], see the review there. The announced volume of SMS, Presses de l’Universite de Montreal will not appear.
Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page
scan of Zbl 0469.18001

MSC:

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

Keywords:

algebraic structures relative to a base category; Lawveres functorial semantics; many-sorted algebras

Citations:

Zbl 0311.18002
Cite Review PDF
Full Text: DOI