Pages that link to "Item:Q1694026"
From MaRDI portal
The following pages link to Reasoning about algebraic data types with abstractions (Q1694026):
Displayed 5 items.
- Removing algebraic data types from constrained Horn clauses using difference predicates (Q2096439) (← links)
- Politeness and combination methods for theories with bridging functions (Q2303236) (← links)
- (Q5020652) (← links)
- Verifying Catamorphism-Based Contracts using Constrained Horn Clauses (Q5038461) (← links)
- Solving constrained Horn clauses over algebraic data types (Q6174408) (← links)