Sean Mclaughlin

Available identifiers

zbMath Open mclaughlin.seanMaRDI QIDQ2225087

List of research outcomes

Publication	Date of Publication	Type
Stratified abstraction of access control policies	2021-02-04	Paper
Cooperating theorem provers: a case study combining HOL-Light and CVC Lite	2013-09-26	Paper
Tool building requirements for an API to first-order solvers	2013-09-26	Paper
The dodecahedral conjecture	2010-08-27	Paper
Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method	2009-07-28	Paper
An Interpretation of Isabelle/HOL in HOL Light	2009-03-12	Paper
Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic	2009-01-27	Paper

Research outcomes over time

This page was built for person: Sean Mclaughlin