Pages that link to "Item:Q2311523"
From MaRDI portal
The following pages link to An inference system of an extension of Floyd-Hoare logic for partial predicates (Q2311523):
Displaying 5 items.
- Partial correctness of a Fibonacci algorithm (Q2113835) (← links)
- Partial correctness of a factorial algorithm (Q2337337) (← links)
- Partial correctness of a power algorithm (Q2337338) (← links)
- General theory and tools for proving algorithms in nominative data systems (Q6592314) (← links)
- Partial correctness of an algorithm computing Lucas sequences (Q6592315) (← links)
