On Distributive Fixed-Point Expressions
From MaRDI portal
Publication:4943552
DOI10.1051/ita:1999101zbMath0945.68127MaRDI QIDQ4943552
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
68Q25: Analysis of algorithms and problem complexity
68Q60: Specification and verification (program logics, model checking, etc.)
03D70: Inductive definability
06D99: Distributive lattices
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Automata, languages and programming. 13th International Colloquium, Rennes, France, July 15-19, 1986. Proceedings
- Computer aided verification. 5th international conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993. Proceedings
- Fixed point characterization of infinite behavior of finite-state systems
- A calculational approach to mathematical induction
- Theμ-calculus alternation-depth hierarchy is strict on binary trees