Pages that link to "Item:Q2842127"
From MaRDI portal
The following pages link to Proof Graphs for Parameterised Boolean Equation Systems (Q2842127):
Displaying 15 items.
- A formalisation of consistent consequence for Boolean equation systems (Q1687766) (← links)
- Producing explanations for rich logics (Q2024339) (← links)
- Exponential automatic amortized resource analysis (Q2200835) (← links)
- Parameterised Boolean equation systems (Q2571204) (← links)
- Solution-Graphs of Boolean Formulas and Isomorphism (Q2817999) (← links)
- Invariants for Parameterised Boolean Equation Systems (Q3541018) (← links)
- Solution-Graphs of Boolean Formulas and Isomorphism1 (Q5015600) (← links)
- (Q5039095) (← links)
- An Analytic Propositional Proof System on Graphs (Q5060181) (← links)
- Fold/Unfold Transformations for Fixpoint Logic (Q5164174) (← links)
- Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems (Q5164176) (← links)
- Abstraction in Fixpoint Logic (Q5277894) (← links)
- Instantiation for Parameterised Boolean Equation Systems (Q5505619) (← links)
- Non-deterministic Boolean Proof Nets (Q5747635) (← links)
- On-the-fly solving for symbolic parity games (Q6535612) (← links)