Pages that link to "Item:Q5097622"
From MaRDI portal
The following pages link to On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics (Q5097622):
Displayed 2 items.