scientific article; zbMATH DE number 3607477
From MaRDI portal
Publication:4172900
zbMath0391.68010MaRDI QIDQ4172900
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Turing MachinesPartial AlgebrasProgramsFree AlgebrasGenerating AlgebrasFree Turing AlgebrasIdempotent SemigroupsTuring AlgebrasUniversal Algebras
Semigroups in automata theory, linguistics, etc. (20M35) Free algebras (08B20) General topics in the theory of software (68N01) Categories of machines, automata (18B20)
Related Items
The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus, Categories of partial maps, A functorial semantics for multi-algebras and partial algebras, with applications to syntax., Comparing logics for rewriting: Rewriting logic, action calculi and tile logic