Nicholas Smallbone

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
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 Journal of Functional Programming	2017-10-23	Paper
Encoding monomorphic and polymorphic types Logical Methods in Computer Science	2017-04-11	Paper
TIP: tools for inductive provers Logic for Programming, Artificial Intelligence, and Reasoning	2016-01-12	Paper
TIP: tons of inductive problems Lecture Notes in Computer Science	2015-11-20	Paper
Hipster: integrating theory exploration in a proof assistant Lecture Notes in Computer Science	2014-08-07	Paper
Encoding monomorphic and polymorphic types Tools and Algorithms for the Construction and Analysis of Systems	2013-08-05	Paper
Automating Inductive Proofs Using Theory Exploration Automated Deduction – CADE-24	2013-06-14	Paper
Sort it out with monotonicity. Translating between many-sorted and unsorted first-order logic Lecture Notes in Computer Science	2011-07-29	Paper

Research outcomes over time

This page was built for person: Nicholas Smallbone