Pages that link to "Item:Q5901563"
From MaRDI portal
The following pages link to Rewriting Techniques and Applications (Q5901563):
Displaying 8 items.
- A heuristic prover for real inequalities (Q287379) (← links)
- A formalisation of nominal C-matching through unification with protected variables (Q2333665) (← links)
- A formalisation of nominal \(\alpha\)-equivalence with A, C, and AC function symbols (Q2424886) (← links)
- Canonized Rewriting and Ground AC Completion Modulo Shostak Theories (Q3000635) (← links)
- Tactics for Reasoning Modulo AC in Coq (Q3100211) (← links)
- The Teaching Tool CalcCheck A Proof-Checker for Gries and Schneider’s “Logical Approach to Discrete Math” (Q3100213) (← links)
- Formalising nominal C-unification generalised with protected variables (Q5022930) (← links)
- Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck} (Q5919026) (← links)