The following pages link to Ian Green (Q540692):
Displaying 6 items.
- The use of embeddings to provide a clean separation of term and annotation for higher order rippling (Q540694) (← links)
- On process equivalence = equation solving in CCS (Q839034) (← links)
- On automating diagrammatic proofs of arithmetic arguments (Q1306168) (← links)
- (Q1601862) (redirect page) (← links)
- Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts (Q1601863) (← links)
- Planning proofs of equations in CCS (Q1857269) (← links)
