Nicholas Smallbone

Available identifiers

zbMath Open smallbone.nicholasMaRDI QIDQ1799099

List of research outcomes

Publication	Date of Publication	Type
Conjectures, tests and proofs: an overview of theory exploration	2024-11-29	Paper
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. Translating between many-sorted and unsorted first-order logic	2011-07-29	Paper

Research outcomes over time

This page was built for person: Nicholas Smallbone