scientific article; zbMATH DE number 3622981

MaRDI QIDQ4185836zbMATH OpenFDO

Authors Jerzy Tiuryn

Publication date 1978

zbMATH Keywords

Algebra Of Regular Sigma-TreesAlgebras with Infinitely Long ExpressionsComputationFixed-PointsGeneralized PolynomialsProgram SchemeRecursive MonadicRegular Context-Free LanguageSemantics

Mathematics Subject Classification ID

Other classes of algebras (08C99) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(6)

• Algebraic solutions to recursion schemes
• Group axioms for iteration
• The equational logic of fixed points
• scientific article; zbMATH DE number 7136663 (Why is no real title available?)
• Extensions of iterative congruences of free iterative algebras
• Axiomatizing the equational theory of regular tree languages

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4185836)