Alan Smaill

Available identifiers

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	2020-01-21	Paper
The use of embeddings to provide a clean separation of term and annotation for higher order rippling	2011-06-03	Paper
Automation for dependently typed functional programming	2011-05-20	Paper
Plans, actions and dialogues using linear logic	2009-05-04	Paper
Automated Deduction – CADE-20	2006-11-01	Paper
A Systematic Presentation of Quantified Modal Logics	2003-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q4428294	2003-09-15	Paper
https://portal.mardi4nfdi.de/entity/Q4790660	2003-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q2767046	2002-01-28	Paper
Recursive program optimization through inductive synthesis proof transformation	1999-05-02	Paper
Automating the synthesis of decision procedures in a constructive metatheory	1998-11-25	Paper
https://portal.mardi4nfdi.de/entity/Q4303117	1994-11-21	Paper
Rippling: A heuristic for guiding inductive proofs	1994-05-09	Paper
https://portal.mardi4nfdi.de/entity/Q4028373	1993-03-28	Paper
Experiments with proof plans for induction	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3490990	1989-01-01	Paper

This page was built for person: Alan Smaill