Nicholas Smallbone
From MaRDI portal
Person:1799099
Available identifiers
zbMath Open smallbone.nicholasMaRDI QIDQ1799099
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Twee: an equational theorem prover | 2021-12-01 | Paper |
| Conjectures, Tests and Proofs: An Overview of Theory Exploration | 2021-09-06 | Paper |
| Efficient encodings of first-order Horn formulas in equational logic | 2018-10-18 | Paper |
| Quick specifications for the busy programmer | 2017-10-23 | Paper |
| Encoding Monomorphic and Polymorphic Types | 2017-04-11 | Paper |
| TIP: Tools for Inductive Provers | 2016-01-12 | Paper |
| TIP: Tons of Inductive Problems | 2015-11-20 | Paper |
| Hipster: Integrating Theory Exploration in a Proof Assistant | 2014-08-07 | Paper |
| Encoding Monomorphic and Polymorphic Types | 2013-08-05 | Paper |
| Automating Inductive Proofs Using Theory Exploration | 2013-06-14 | Paper |
| Sort It Out with Monotonicity | 2011-07-29 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Nicholas Smallbone
