Pages that link to "Item:Q5370859"
From MaRDI portal
The following pages link to On the relationship between higher-order recursion schemes and higher-order fixpoint logic (Q5370859):
Displaying 9 items.
- Local higher-order fixpoint iteration (Q2105477) (← links)
- Predicate abstraction and CEGAR for \(\nu \mathrm{HFL}_\mathbb{Z}\) validity checking (Q2233530) (← links)
- (Q5021005) (← links)
- (Q5028436) (← links)
- Relational semantics of linear logic and higher-order model-checking (Q5351962) (← links)
- Temporal verification of programs via first-order fixpoint logic (Q6536298) (← links)
- A type-based HFL model checking algorithm (Q6536312) (← links)
- An overview of the HFL model checking project (Q6647298) (← links)
- Reducing higher-order recursion scheme equivalence to coinductive higher-order constrained Horn clauses (Q6647302) (← links)