scientific article; zbMATH DE number 3631912

zbMath0406.68017MaRDI QIDQ4192947

Bruno Courcelle

Publication date: 1979

Full work available at URL: https://eudml.org/doc/92088

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Formal Power SeriesSystems of EquationsCategory of MagmasMetric Compact MagmaProgramming Schemes

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Categories of machines, automata (18B20)

Related Items (6)

Equivalences and transformations of regular systems - applications to recursive program schemes and grammars ⋮ Rewrite, rewrite, rewrite, rewrite, rewrite, \dots ⋮ Infinite trees in normal form and recursive equations having a unique solution ⋮ Coinductive big-step operational semantics ⋮ Iterative factor algebras and induced metrics ⋮ Fundamental properties of infinite trees

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A representation of trees by languages. II
• An algebraic definition for control structures
• Program equivalence and context-free grammars
• The existence and construction of free iterative theories
• A representation of trees by languages. I
• On the algebraic structure of rooted trees
• Initial Algebra Semantics and Continuous Algebras

This page was built for publication: