Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Chaudhuri, Kaustuv - Laboratoire d’Informatique, École Polytechnique
A Logic for Constrained Process Calculi with Applications to Molecular Biology
Canonical Sequent Proofs via Multi-Focusing Kaustuv Chaudhuri, Dale Miller, and Alexis Saurin
Verifying Safety Properties With the TLA+ Proof System
A Focusing Inverse Method Theorem Prover for First-Order Linear Logic
The TLA Proof System: Building a Heterogeneous Verification Platform
J Autom Reasoning (2008) 40:133177 DOI 10.1007/s10817-007-9091-0
Focusing the Inverse Method for Linear Logic Kaustuv Chaudhuri
version 1.0, compiled 2010-06-18 23:23 Magically Constraining the Inverse Method with1
Focusing strategies in the sequent calculus of synthetic connectives
A Logical Characterization of Forward and Backward Chaining in the Inverse Method
Proof System Kaustuv Chaudhuri
Classical and Intuitionistic Subexponential Logics are Equally Expressive
A judgmental analysis of linear logic Bor-Yuh Evan Chang Kaustuv Chaudhuri Frank Pfenning
The Inverse Method for Intuitionistic Linear Logic
The Focused Calculus of Structures Kaustuv Chaudhuri, Nicolas Guenot, and Lutz Straburger
Focusing the Inverse Method for Linear Logic Kaustuv Chaudhuri Frank Pfenning
Compact Proof Certificates Using Deep Inference
A Systematic Approach to Canonicity in the Classical Sequent Calculus
