The following pages link to (Q4281666):
Displaying 7 items.
- Algebraic proofs of consistency and completeness (Q672320) (← links)
- Formalizing Dijkstra's predicate transformer wp in weak second-order logic (Q673132) (← links)
- An algebraic construction of predicate transformers (Q1330446) (← links)
- A predicate transformer for the progress property `to-always' (Q1377323) (← links)
- Generic transformations of predicate encodings: constructions and applications (Q1675716) (← links)
- Data Refinement with Probability in Mind (Q2994495) (← links)
- Computer Science Logic (Q5311250) (← links)