![](https://www.pdfsearch.io/img/a83eb65cda565e2dd1b4482682f6129e.jpg) Date: 2017-09-09 06:01:35
| | Transforming Proof Tableaux of Hoare Logic into Inference Sequences of Rewriting Induction Shinnosuke Mizutani Naoki NishidaAdd to Reading ListSource URL: www.cs.ox.ac.ukDownload Document from Source Website File Size: 228,88 KBShare Document on Facebook
|