The following pages link to Alan Smaill (Q540693):
Displaying 17 items.
- The use of embeddings to provide a clean separation of term and annotation for higher order rippling (Q540694) (← links)
- Rippling: A heuristic for guiding inductive proofs (Q685548) (← links)
- Experiments with proof plans for induction (Q809617) (← links)
- Plans, actions and dialogues using linear logic (Q1016033) (← links)
- Automating the synthesis of decision procedures in a constructive metatheory (Q1267772) (← links)
- Recursive program optimization through inductive synthesis proof transformation (Q1285864) (← links)
- (Q2767046) (← links)
- Automation for Dependently Typed Functional Programming (Q3002482) (← links)
- (Q3490990) (← links)
- (Q4028373) (← links)
- (Q4303117) (← links)
- (Q4428294) (← links)
- (Q4790660) (← links)
- A Systematic Presentation of Quantified Modal Logics (Q4796510) (← links)
- Mollusc a general proof-development shell for sequent-based logics (Q5210817) (← links)
- Automated Deduction – CADE-20 (Q5394616) (← links)
- Higher-order annotated terms for proof search (Q6567727) (← links)
