Pages that link to "Item:Q493521"
From MaRDI portal
The following pages link to Program equivalence by circular reasoning (Q493521):
Displayed 4 items.
- Program equivalence by circular reasoning (Q493521) (← links)
- A language-independent proof system for full program equivalence (Q510898) (← links)
- Executing and verifying higher-order functional-imperative programs in Maude (Q2409629) (← links)
- Operationally-based program equivalence proofs using LCTRSs (Q6052946) (← links)