Search results for: Kamal Lodaya
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > Session 9 > 355-366
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 71-88
Lecture Notes in Computer Science > Logics of Programs > 284-301
Lecture Notes in Computer Science > Descriptional Complexity of Formal Systems > Regular Papers > 235-247
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Contributed Papers > 260-273
Lecture Notes in Computer Science > Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation > 173-187
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 245-258
Journal of Philosophical Logic > 2011 > 40 > 5 > 583-632
Electronic Notes in Theoretical Computer Science > 2008 > 223 > Complete > 215-237