First Page | Document Content | |
---|---|---|
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 WebsiteFile Size: 228,88 KBShare Document on Facebook |