Classical and Intuitionistic Logic Are Asymptotically Identical - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hervé Fournier, Danièle Gardy, Antoine Genitrini, Marek Zaionc. Classical and Intuitionistic Logic Are Asymptotically Identical. In Jacques Duparc, Thomas A. Henzinger, editors, Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings. Volume 4646 of Lecture Notes in Computer Science, pages 177-193, Springer, 2007. [doi]

This author has not been identified. Look up 'Hervé Fournier' in GoogleThis author has not been identified. Look up 'Danièle Gardy' in GoogleThis author has not been identified. Look up 'Antoine Genitrini' in GoogleThis author has not been identified. Look up 'Marek Zaionc' in Google

runs on WebDSL