The following pages link to The Logic of U ·(TP)2 (Q3455647):
Displayed 7 items.
- UTP2 (Q18470) (← links)
- The interpretation of string-theoretic dualities (Q257040) (← links)
- Angelic processes for CSP via the UTP (Q1757156) (← links)
- The geometry of reduction: compound reduction and overlapping state space domains (Q2286503) (← links)
- Isabelle/UTP: A Mechanised Theory Engineering Framework (Q2814613) (← links)
- An Axiomatic Value Model for Isabelle/UTP (Q2971180) (← links)
- UTPCalc — A Calculator for UTP Predicates (Q2971182) (← links)