La lecture à portée de main
Suivre
Documents
A Unified Sequent Calculus for Focused Proofs
C Liang
Documents
Rapports de stage
A Unified Sequent Calculus for Focused Proofs
C Liang
10 pages
English
Documents
Focusing and Polarization in Linear Intuitionistic and Classical Logics
Chuck Liang
Documents
Rapports de stage
Focusing and Polarization in Linear Intuitionistic and Classical Logics
Chuck Liang
29 pages
English
Documents
Chuck Liang Hofstra University Hempstead NY
Documents
Etudes supérieures
Chuck Liang Hofstra University Hempstead NY
31 pages
English
Documents
Higher order quantification and proof search
Documents
Rapports de stage
Higher order quantification and proof search
16 pages
English
Documents
Workshop on “Classical Logic and Computation” July Venice Italy
Lutz Strassburger
Documents
Rapports de stage
Workshop on “Classical Logic and Computation” July Venice Italy
Lutz Strassburger
20 pages
English
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
{{productCategoryLabel}}
{{productTitle}}
{{productAuthors}}
{{productCategoryLabel}}
{{productThemeLabel}}
{{productTitle}}
{{productAuthors}}
{{productPages}}
{{productLanguageIsoCode}}