Alan Smaill

Available identifiers

Publication	Date of Publication	Type
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

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alan Smaill