The following pages link to Proving and rewriting (Q5096184):
Displaying 5 items.
- Category-based modularisation for equational logic programming (Q1901708) (← links)
- Soundness in verification of algebraic specifications with OBJ (Q2469155) (← links)
- Verifying an infinite systolic algorithm using third-order equational methods (Q2500698) (← links)
- Rewriting Induction + Linear Arithmetic = Decision Procedure (Q2908496) (← links)
- A Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler (Q5056076) (← links)