Pages that link to "Item:Q3558288"
From MaRDI portal
The following pages link to On Inductive and Coinductive Proofs via Unfold/Fold Transformations (Q3558288):
Displaying 4 items.
- Constraint-based correctness proofs for logic program transformations (Q1941873) (← links)
- Removing algebraic data types from constrained Horn clauses using difference predicates (Q2096439) (← links)
- Asynchronous unfold/fold transformation for fixpoint logic (Q2163155) (← links)
- On Inductive Proofs by Extended Unfold/Fold Transformation Rules (Q3003489) (← links)
