scientific article; zbMATH DE number 3622981
From MaRDI portal
Publication:4185836
zbMath0401.68062MaRDI QIDQ4185836
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
ComputationSemanticsProgram SchemeFixed-PointsAlgebras with Infinitely Long ExpressionsGeneralized PolynomialsRegular Context-Free LanguageAlgebra Of Regular Sigma-TreesRecursive Monadic
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Other classes of algebras (08C99)
Related Items (6)
Axiomatizing the equational theory of regular tree languages ⋮ Algebraic solutions to recursion schemes ⋮ Unnamed Item ⋮ The equational logic of fixed points ⋮ Group axioms for iteration ⋮ Extensions of iterative congruences of free iterative algebras
This page was built for publication:
