Sean Mclaughlin
From MaRDI portal
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 |
| Tool building requirements for an API to first-order solvers | 2013-09-26 | Paper |
| Cooperating theorem provers: a case study combining HOL-Light and CVC Lite | 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
