The following pages link to (Q5678412):
Displaying 8 items.
- An automata theoretic decision procedure for the propositional mu- calculus (Q1119630) (← links)
- A proof system for the first-order relational calculus (Q1138391) (← links)
- On the completeness of the inductive assertion method (Q1236426) (← links)
- Formal derivation of strongly correct concurrent programs (Q1251066) (← links)
- Peirce algebras (Q1333408) (← links)
- Relation-algebraic semantics (Q1350513) (← links)
- Towards reasoning about Hoare relations (Q1924753) (← links)
- Matrix Code (Q2441509) (← links)
