Pages that link to "Item:Q672320"
From MaRDI portal
The following pages link to Algebraic proofs of consistency and completeness (Q672320):
Displaying 10 items.
- Algebraic proofs of consistency and completeness (Q672320) (← links)
- Embedding a demonic semilattice in a relation algebra (Q672711) (← links)
- Proving program inclusion using Hoare's logic (Q789887) (← links)
- Proof system for weakest prespecification (Q1104780) (← links)
- Calculating sharp adaptation rules. (Q1607103) (← links)
- Power simulation and its relation to traces and failures refinement (Q1884900) (← links)
- A mathematical characterization of quantum Gaussian stochastic evolution schemes (Q2431811) (← links)
- Algebraic properties implying weak sequential completeness (Q2725634) (← links)
- (Q4806272) (← links)
- Term Rewriting and Applications (Q5703869) (← links)