Report copyright - Circular Coinduction-based Techniques for Proving ... · Dorel Lucanu (Al. I. Cuza Univ., Ia˘si, RO) Circular Coinduction-based Techniques Nov. 6, 2008, INRIA/LORIA 4 / 1. Introduction
Please pass captcha verification before submit form