Search results for: V. Ramakrishnan
Journal of the Neurological Sciences > 2016 > 368 > C > 255-262
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Case Studies > 74-88
Lecture Notes in Computer Science > Logic Programming > Posters > 500-501
Lecture Notes in Computer Science > Functional and Logic Programming > Refereed Papers Logic and Functional-Logic Programming > 24-38
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Verification > 158-159
Lecture Notes in Computer Science > Foundation of Software Technology and Theoretical Computer Science > 288-299
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Infinite and Parameterized Systems > 172-187
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 504-518
Lecture Notes in Computer Science > Computational Logic — CL 2000 > Database Systems (DOOD) > 1094-1105
Lecture Notes in Computer Science > On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE > Information Mining > 909-926