Return to search

Exploiting non-canonicity in the sequent calculus

No description available.
Identiferoai:union.ndltd.org:CCSD/oai:pastel.archives-ouvertes.fr:pastel-00005487
Date18 September 2009
CreatorsNigam, Vivek
PublisherEcole Polytechnique X
Source SetsCCSD theses-EN-ligne, France
Detected LanguageEnglish
TypePhD thesis

Page generated in 0.0021 seconds