The following pages link to Sean McLaughlin (Q2225087):
Displayed 7 items.
- Stratified abstraction of access control policies (Q2225096) (← links)
- (Q2848686) (← links)
- (Q2848688) (← links)
- The dodecahedral conjecture (Q3584349) (← links)
- An Interpretation of Isabelle/HOL in HOL Light (Q3613409) (← links)
- Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method (Q5191105) (← links)
- Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic (Q5505551) (← links)