On Distributive Fixed-Point Expressions
From MaRDI portal
Publication:4943552
DOI10.1051/ITA:1999101zbMATH Open0945.68127OpenAlexW2022416033MaRDI QIDQ4943552FDOQ4943552
Authors: Helmut Seidl, Damian Niwiński
Publication date: 16 March 2000
Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/222054
Recommendations
- On a generalization of distributivity
- On some solutions of the distributivity equation
- Distributivity and Varlet distributivity
- The distributivity equation for uninorms revisited
- scientific article; zbMATH DE number 3997858
- scientific article; zbMATH DE number 7523908
- The Distributivity Equations of Semi-Uninorms
- A fixed point theorem for distributions
- Refinement equations and distributional fixed points
Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Distributive lattices (06D99) Inductive definability (03D70)
Cites Work
- A calculational approach to mathematical induction
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Fixed point characterization of infinite behavior of finite-state systems
- Title not available (Why is that?)
- Theμ-calculus alternation-depth hierarchy is strict on binary trees
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Computer aided verification. 5th international conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993. Proceedings
- Automata, languages and programming. 13th International Colloquium, Rennes, France, July 15-19, 1986. Proceedings
Cited In (4)
This page was built for publication: On Distributive Fixed-Point Expressions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4943552)