Similar Items: Operations on Fixpoint Equation Systems
- Fixpoint Theory -- Upside Down
- A Monoidal View on Fixpoint Checks
- Definability and Interpolation within Decidable Fixpoint Logics
- A Probabilistic Higher-order Fixpoint Logic
- The Complexity of Model Checking Higher-Order Fixpoint Logic
- Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields