Alan Smaill

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
Higher-order annotated terms for proof search	2024-07-05	Paper
Extensions to the rippling-out tactic for guiding inductive proofs	2023-04-28	Paper
The OYSTER-CLAM system	2023-04-28	Paper
\textit{Mollusc}: a general proof-development shell for sequent-based logics Automated Deduction — CADE-12	2020-01-21	Paper
The use of embeddings to provide a clean separation of term and annotation for higher order rippling Journal of Automated Reasoning	2011-06-03	Paper
Automation for dependently typed functional programming Fundamenta Informaticae	2011-05-20	Paper
Plans, actions and dialogues using linear logic Journal of Logic, Language and Information	2009-05-04	Paper
Automated Deduction – CADE-20 Lecture Notes in Computer Science	2006-11-01	Paper
A Systematic Presentation of Quantified Modal Logics Logic Journal of the IGPL	2003-09-16	Paper
scientific article; zbMATH DE number 1980920 (Why is no real title available?)	2003-09-15	Paper
scientific article; zbMATH DE number 1863385 (Why is no real title available?)	2003-02-04	Paper
scientific article; zbMATH DE number 1696789 (Why is no real title available?)	2002-01-28	Paper
Recursive program optimization through inductive synthesis proof transformation Journal of Automated Reasoning	1999-05-02	Paper
Automating the synthesis of decision procedures in a constructive metatheory Annals of Mathematics and Artificial Intelligence	1998-11-25	Paper
scientific article; zbMATH DE number 622669 (Why is no real title available?)	1994-11-21	Paper
Rippling: A heuristic for guiding inductive proofs Artificial Intelligence	1994-05-09	Paper
scientific article; zbMATH DE number 140008 (Why is no real title available?)	1993-03-28	Paper
Experiments with proof plans for induction Journal of Automated Reasoning	1991-01-01	Paper
scientific article; zbMATH DE number 4164172 (Why is no real title available?)	1989-01-01	Paper

Research outcomes over time

This page was built for person: Alan Smaill