Intuitionistic vs Classical Tautologies, Quantitative Comparison - Archive ouverte HAL Access content directly
Conference Papers Year : 2008

Intuitionistic vs Classical Tautologies, Quantitative Comparison

Domains

Data Structures and Algorithms [cs.DS] Logic in Computer Science [cs.LO]

Antoine Genitrini  : Connect in order to contact the contributor

https://hal.science/hal-00530530

Submitted on : Friday, October 29, 2010-10:58:00 AM

Last modification on : Friday, March 24, 2023-2:52:53 PM

No file

Dates and versions

hal-00530530 , version 1 (29-10-2010)

Identifiers

  • HAL Id : hal-00530530 , version 1

Cite

Antoine Genitrini, Jakub Kozik, Marek Zaionc. Intuitionistic vs Classical Tautologies, Quantitative Comparison. TYPES 2007, 2007, Cividale del Friuli, Italy. pp.100-109. ⟨hal-00530530⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UVSQ
44 View
0 Download

Share

Gmail Facebook X LinkedIn More