scientific article; zbMATH DE number 1136085
From MaRDI portal
Publication:4381396
zbMath0899.08006MaRDI QIDQ4381396
Publication date: 2 November 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
equational logicaxiomatizationidentities of power set algebrasidentities of regular tree languagesiteration \(\Delta\)-algebrasleast fixed point rule
Related Items (6)
A connection between concurrency and language theory ⋮ Axiomatizing the equational theory of regular tree languages ⋮ Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview ⋮ Equational properties of fixed-point operations in cartesian categories: An overview ⋮ A Kleene Theorem for Polynomial Coalgebras ⋮ Simulations of Weighted Tree Automata
This page was built for publication:
