Pages that link to "Item:Q510898"
From MaRDI portal
The following pages link to A language-independent proof system for full program equivalence (Q510898):
Displayed 3 items.
The following pages link to A language-independent proof system for full program equivalence (Q510898):
Displayed 3 items.