Sean Mclaughlin
From MaRDI portal
Person:2225087
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| 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 Journal of the American Mathematical Society | 2010-08-27 | Paper |
| Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method Automated Deduction – CADE-22 | 2009-07-28 | Paper |
| An Interpretation of Isabelle/HOL in HOL Light Automated Reasoning | 2009-03-12 | Paper |
| Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic Logic for Programming, Artificial Intelligence, and Reasoning | 2009-01-27 | Paper |
Research outcomes over time
This page was built for person: Sean Mclaughlin
