scientific article; zbMATH DE number 3995637

MaRDI QIDQ4723706zbMATH OpenFDO

Authors Damian Niwiński

Publication date 1985

zbMATH Keywords

Birkhoff-like system of rulesfixed point operatorsinequalities

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• On the equational definition of the least prefixed point.
• scientific article; zbMATH DE number 1834683
• Rudiments of \(\mu\)-calculus
• scientific article; zbMATH DE number 1555174
• The equational logic of fixed points

Cited in

(18)

• On the approximation of denotational mu-semantics
• Fixed point characterization of infinite behavior of finite-state systems
• On the equational definition of the least prefixed point.
• Algebraically complete semirings and Greibach normal form
• On diagonal fixed points of increasing functions
• The differential \(\lambda \mu\)-calculus
• Axiomatizing weighted synchronization trees and weighted bisimilarity
• Properties of fixed point operators in predicate algebras
• Equational properties of fixed point operations in Cartesian categories: an overview
• scientific article; zbMATH DE number 4204632 (Why is no real title available?)
• -Calculus with Explicit Points and Approximations
• scientific article; zbMATH DE number 1834683 (Why is no real title available?)
• μ-Bicomplete Categories and Parity Games
• scientific article; zbMATH DE number 7357543 (Why is no real title available?)
• Equational properties of fixed-point operations in Cartesian categories: an overview
• Free -lattices
• Fixed-point calculus
• 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 Q4723706)