Search results for: Deepak Kapur
Journal of Systems Science and Complexity > 2019 > 32 > 1 > 317-355
Journal of Systems Science and Complexity > 2017 > 30 > 1 > 196-233
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 103-122
Lecture Notes in Computer Science > Compiler Construction > Analyses > 245-259
Lecture Notes in Computer Science > Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation > 125-145
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 305-325
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 426-442
Lecture Notes in Computer Science > EUROSAM 84 > 195-206
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Proof Automation II > 136-154