The following pages link to Louise Abigail Dennis (Q540691):
Displayed 15 items.
- The use of embeddings to provide a clean separation of term and annotation for higher order rippling (Q540694) (← links)
- Item:Q540691 (redirect page) (← links)
- Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts (Q1601863) (← links)
- Item:Q540691 (redirect page) (← links)
- Verifying autonomous systems (Q2165494) (← links)
- (Q2723448) (← links)
- (Q2729073) (← links)
- (Q2852043) (← links)
- Enhancing Theorem Prover Interfaces with Program Slice Information (Q2867933) (← links)
- Model Checking Normative Agent Organisations (Q3055672) (← links)
- (Q4484340) (← links)
- (Q4790660) (← links)
- (Q4808728) (← links)
- Markov chain model representation of information diffusion in social networks (Q5103727) (← links)
- Using a generalisation critic to find bisimulations for coinductive proofs (Q5234712) (← links)