The Productive use of Failure to Generate Witnesses from Divergent Proof Attempts for Coinduction

by Dennis, Louise Abigail, Bundy, Alan, Green, Ian
Published 2000

Using a Generalisation Critic to find Bisimulations for Coinductive Proofs

by Dennis, Louise Abigail, Bundy, Alan, Green, Ian
Published 1999

Dual EZH2 and EHMT2 histone methyltransferase inhibition increases biological efficacy in breast cancer cells

by Curry, Edward, Green, Ian, Chapman-Rothe, Nadine, Shamsaei, Elham, Kandil, Sarah, Cherblanc, Fanny L, Payne, Luke, Bell, Emma, Ganesh, Thota, Srimongkolpithak, Nitipol, Caron, Joachim, Li, Fengling, Uren, Anthony G., Snyder, James P., Vedadi, Masoud, Fuchter, Matthew J., Brown, Robert
Published 2015