Search results for: Gopalan Nadathur
Lecture Notes in Computer Science > FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 517-528
Lecture Notes in Computer Science > Logic Programming > 371-386
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 110-124
Lecture Notes in Computer Science > Automated Deduction – CADE-21 > Session 10. Model Checking and Verification > 391-397
Lecture Notes in Computer Science > Automated Deduction — CADE-16 > Session 8: System Descriptions > 287-291
Lecture Notes in Computer Science > Rewriting Techniques and Applications > Regular Papers, Application Papers > 192-206
Journal of Automated Reasoning > 2012 > 49 > 2 > 241-273
Information and Computation > 2011 > 209 > 1 > 48-73
Electronic Notes in Theoretical Computer Science > 2009 > 228 > Complete > 85-100
Journal of Automated Reasoning > 2004 > 33 > 2 > 89-132
Electronic Notes in Theoretical Computer Science > 2002 > 67 > Complete > 1-14
Theoretical Computer Science > 1998 > 198 > 1-2 > 49-98
The Journal of Logic Programming > 1995 > 25 > 2 > 119-161