 | 2008 |
|---|
| 8 |       | Kaustuv Chaudhuri,
Dale Miller,
Alexis Saurin:
Canonical Sequent Proofs via Multi-Focusing.
IFIP TCS 2008: 383-396 |
| 7 | | Kaustuv Chaudhuri:
Focusing Strategies in the Sequent Calculus of Synthetic Connectives.
LPAR 2008: 467-481 |
| 6 | | Kaustuv Chaudhuri,
Damien Doligez,
Leslie Lamport,
Stephan Merz:
A TLA+ Proof System.
LPAR Workshops 2008 |
| 5 | | Kaustuv Chaudhuri,
Damien Doligez,
Leslie Lamport,
Stephan Merz:
A TLA+ Proof System
CoRR abs/0811.1914: (2008) |
| 4 | | Kaustuv Chaudhuri,
Frank Pfenning,
Greg Price:
A Logical Characterization of Forward and Backward Chaining in the Inverse Method.
J. Autom. Reasoning 40(2-3): 133-177 (2008) |
| 2006 |
|---|
| 3 | | Kaustuv Chaudhuri,
Frank Pfenning,
Greg Price:
A Logical Characterization of Forward and Backward Chaining in the Inverse Method.
IJCAR 2006: 97-111 |
| 2005 |
|---|
| 2 | | Kaustuv Chaudhuri,
Frank Pfenning:
A Focusing Inverse Method Theorem Prover for First-Order Linear Logic.
CADE 2005: 69-83 |
| 1 | | Kaustuv Chaudhuri,
Frank Pfenning:
Focusing the Inverse Method for Linear Logic.
CSL 2005: 200-215 |
