Pages that link to "Item:Q6486039"
From MaRDI portal
The following pages link to Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification (Q6486039):
Displaying 5 items.
- Equational formulae with membership constraints (Q1333268) (← links)
- Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities (Q3522029) (← links)
- Checking Sufficient Completeness by Inductive Theorem Proving (Q6487296) (← links)
- On Ground Convergence and Completeness of Conditional Equational Program Hierarchies (Q6487297) (← links)
- Building correct-by-construction systems with formal patterns (Q6562511) (← links)