Pages that link to "Item:Q1796766"
From MaRDI portal
The following pages link to Kleene algebra of partial predicates (Q1796766):
Displaying 8 items.
- Implementation of the composition-nominative approach to program formalization in Mizar (Q1650410) (← links)
- Partial correctness of a Fibonacci algorithm (Q2113835) (← links)
- On algebras of algorithms and specifications over uninterpreted data (Q2311521) (← links)
- On an algorithmic algebra over simple-named complex-valued nominative data (Q2311522) (← links)
- An inference system of an extension of Floyd-Hoare logic for partial predicates (Q2311523) (← links)
- Partial correctness of GCD algorithm (Q2311524) (← links)
- Partial correctness of a factorial algorithm (Q2337337) (← links)
- Partial correctness of a power algorithm (Q2337338) (← links)
