Pages that link to "Item:Q2894285"
From MaRDI portal
The following pages link to Zeno: An Automated Prover for Properties of Recursive Data Structures (Q2894285):
Displaying 8 items.
- Zeno (Q19752) (← links)
- Proving properties of functional programs by equality saturation (Q300342) (← links)
- Integer induction in saturation (Q2055871) (← links)
- Removing algebraic data types from constrained Horn clauses using difference predicates (Q2096439) (← links)
- Inductive benchmarks for automated reasoning (Q2128807) (← links)
- Induction in saturation-based proof search (Q2305434) (← links)
- Inductive theorem proving based on tree grammars (Q2344621) (← links)
- Automating Induction with an SMT Solver (Q2891425) (← links)
