Search results for: Kaustuv Chaudhuri
Electronic Notes in Theoretical Computer Science > 2017 > 332 > C > 57-73
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 202-216
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Session 8. Proof-Theory 2 > 467-481
Lecture Notes in Computer Science > Automated Reasoning > Verification > 142-148
Lecture Notes in Computer Science > Theoretical Aspects of Computing – ICTAC 2010 > Invited Papers and Abstract > 44-44
Journal of Automated Reasoning > 2008 > 40 > 2-3 > 133-177