Using a generalisation critic to find bisimulations for coinductive proofs

From MaRDI portal
Publication:5234712

DOI10.1007/3-540-63104-6_29zbMath1430.68399OpenAlexW1541732450MaRDI QIDQ5234712

Alan Bundy, Louise Abigail Dennis, Ian Green

Publication date: 1 October 2019

Published in: Automated Deduction—CADE-14 (Search for Journal in Brave)

Full work available at URL: https://www.pure.ed.ac.uk/ws/files/6329544/Using_a_generalisation_critic_to_find_bisimulations_for_coinductive_proofs.pdf



Related Items


Uses Software


Cites Work