Using a Generalisation Critic to Find Bisimulations for Coinductive Proofs (1997)

Cached

Download Links

by Louise Dennis , Alan Bundy , Ian Green
Venue:PROCEEDINGS OF THE 14TH CONFERENCE ON AUTOMATED DEDUCTION, VOLUME 1249 OF LECTURE NOTES IN ARTIFICIAL INTELIGENCE
Citations:11 - 2 self