Similar Items: Fixpoint Theory -- Upside Down
- Regular Model Checking Upside-Down: An Invariant-Based Approach
- Operations on Fixpoint Equation Systems
- 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