Search results for: M. Hermenegildo
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Verification and Analysis > 19-35
Lecture Notes in Computer Science > Logic Programming > Posters > 481-482
Lecture Notes in Computer Science > Programming Language Implementation and Logic Programming > 323-334
Lecture Notes in Computer Science > Static Analysis > 255-265
Electronic Notes in Theoretical Computer Science > 2000 > 30 > 2 > 152-176
The Journal of Logic Programming > 1999 > 38 > 2 > 165-218
Science of Computer Programming > 1998 > 30 > 1-2 > 51-82
Journal of Symbolic Computation > 1996 > 21 > 4-6 > 715-734