The following pages link to Alan Smaill (Q540693):
Displaying 7 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)
- A Systematic Presentation of Quantified Modal Logics (Q4796510) (← links)
