zbMath0397.68086MaRDI QIDQ4181303
Jerzy Tiuryn
Publication date: 1977
zbMATH Keywords
Computation; Semantics; Fixed-Points; Algebra of Regular Sigma-Trees; Algebras with Infinitely Long Expressions; Generalized Polynomials; Recursive Monadic Program Scheme; Regular Context-Free Language
Mathematics Subject Classification ID
68Q55: Semantics in the theory of computing
08C05: Categories of algebras
Related Items