scientific article; zbMATH DE number 3995637
From MaRDI portal
Publication:4723706
zbMath0615.03013MaRDI QIDQ4723706
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Related Items (10)
μ-Bicomplete Categories and Parity Games ⋮ Axiomatizing the equational theory of regular tree languages ⋮ Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview ⋮ Fixed point characterization of infinite behavior of finite-state systems ⋮ On the equational definition of the least prefixed point. ⋮ Equational properties of fixed-point operations in cartesian categories: An overview ⋮ On diagonal fixed points of increasing functions ⋮ Axiomatizing weighted synchronization trees and weighted bisimilarity ⋮ Algebraically complete semirings and Greibach normal form ⋮ Free \(\mu\)-lattices
This page was built for publication:
