Search results for: Neeraj Verma
Lecture Notes in Computer Science > Program Analysis and Compilation, Theory and Practice > Technical Papers > 97-119
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 183-197
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 79-94
Lecture Notes in Computer Science > FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 518-530