Search the dblp DataBase

Publications of Author

1. Kaustuv Chaudhuri, Frank Pfenning
   A Focusing Inverse Method Theorem Prover for First-Order Linear Logic. [Citation Graph (0, 0)][DBLP]
   CADE, 2005, pp:69-83 [Conf]
   
2. Kaustuv Chaudhuri, Frank Pfenning, Greg Price
   A Logical Characterization of Forward and Backward Chaining in the Inverse Method. [Citation Graph (0, 0)][DBLP]
   IJCAR, 2006, pp:97-111 [Conf]
   
3. Kaustuv Chaudhuri, Frank Pfenning
   Focusing the Inverse Method for Linear Logic. [Citation Graph (0, 0)][DBLP]
   CSL, 2005, pp:200-215 [Conf]
   
4. 
   Verifying Safety Properties with the TLA+ Proof System. [Citation Graph (, )][DBLP]
   
   
5. 
   Classical and Intuitionistic Subexponential Logics Are Equally Expressive. [Citation Graph (, )][DBLP]
   
   
6. 
   The TLA⁺ Proof System: Building a Heterogeneous Verification Platform. [Citation Graph (, )][DBLP]
   
   
7. 
   Canonical Sequent Proofs via Multi-Focusing. [Citation Graph (, )][DBLP]
   
   
8. 
   Focusing Strategies in the Sequent Calculus of Synthetic Connectives. [Citation Graph (, )][DBLP]
   
   
9. 
   A TLA+ Proof System. [Citation Graph (, )][DBLP]
   
   
10. 
    A TLA+ Proof System [Citation Graph (, )][DBLP]
    
    
11. 
    Classical and Intuitionistic Subexponential Logics are Equally Expressive [Citation Graph (, )][DBLP]