Ewen Denney
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 |
|---|---|---|
| A semantic basis for proof queries and transformations Logic for Programming, Artificial Intelligence, and Reasoning | 2014-01-17 | Paper |
| Hiproofs: a hierarchical notion of proof tree | 2013-10-08 | Paper |
| Querying proofs Logic for Programming, Artificial Intelligence, and Reasoning | 2012-06-15 | Paper |
| Tactics for hierarchical proof Mathematics in Computer Science | 2011-02-19 | Paper |
| A Tactic Language for Hiproofs Lecture Notes in Computer Science | 2009-01-27 | Paper |
| Explaining Verification Conditions Algebraic Methodology and Software Technology | 2009-01-27 | Paper |
| Automated Reasoning Lecture Notes in Computer Science | 2007-09-25 | Paper |
| Algebraic Methodology and Software Technology Lecture Notes in Computer Science | 2005-08-25 | Paper |
| scientific article; zbMATH DE number 1670739 (Why is no real title available?) | 2001-11-11 | Paper |
| scientific article; zbMATH DE number 1629941 (Why is no real title available?) | 2001-11-06 | Paper |
| Simply-typed underdeterminism Journal of Computer Science and Technology | 1998-12-02 | Paper |
Research outcomes over time
This page was built for person: Ewen Denney
