( en | de | ru )

 

Disambiguation of "Chaudhuri, Kaustuv"

Author of the publication

copydeleteadd this publication to your clipboard
Formalized Meta-Theory of Sequent Calculi for Substructural Logics.

, , and . LSFA, volume 332 of Electronic Notes in Theoretical Computer Science, page 57-73. Elsevier, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Nondini Chaudhuri

Mitochondriale Bildung von reaktiven Sauerstoffspezies in Abhängigkeit vom Sauerstoffpartialdruck und der mitochondrialen Aktivität. Uni Heidelberg, (2010)

Indronil Chaudhuri

Manis Chaudhuri

Bidisha Chaudhuri

Tushar Chaudhuri

 

Other publications of authors with the same name

A Two-Level Logic Approach to Reasoning About Typed Specification Languages., and . FSTTCS, volume 29 of LIPIcs, page 557-569. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2014)A two-level logic perspective on (simultaneous) substitutions.. CPP, page 280-292. ACM, (2018)Magically Constraining the Inverse Method Using Dynamic Polarity Assignment.. LPAR (Yogyakarta), volume 6397 of Lecture Notes in Computer Science, page 202-216. Springer, (2010)Classical and Intuitionistic Subexponential Logics Are Equally Expressive.. CSL, volume 6247 of Lecture Notes in Computer Science, page 185-199. Springer, (2010)A Hybrid Linear Logic for Constrained Transition Systems., and . TYPES, volume 26 of LIPIcs, page 150-168. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)Automatically Deriving Schematic Theorems for Dynamic Contexts., and . LFMTP, page 9: 1-9: 8. ACM, (2014)A Lightweight Formalization of the Metatheory of Bisimulation-Up-To., , and . CPP, page 157-166. ACM, (2015)A Systematic Approach to Canonicity in the Classical Sequent Calculus., , and . CSL, volume 16 of LIPIcs, page 183-197. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Subformula Linking as an Interaction Method.. ITP, volume 7998 of Lecture Notes in Computer Science, page 386-401. Springer, (2013)Disproving Using the Inverse Method by Iterative Refinement of Finite Approximations., and . TABLEAUX, volume 9323 of Lecture Notes in Computer Science, page 153-168. Springer, (2015)