Back to Results
First PageMeta Content
Structure / Abstract interpretation / Galois connection / Coinduction / Mathematics / Order theory / Mathematical analysis


The Power of Parameterization in Coinductive Proof Chung-Kil Hur
Add to Reading List

Document Date: 2012-11-01 02:57:53

Open Document

File Size: 395,82 KB

Share Result on Facebook
UPDATE