Search results for: Daniel Cabeza
Lecture Notes in Computer Science > Computational Logic — CL 2000 > Program Development (LOPSTR) > 131-148
Lecture Notes in Computer Science > Static Analysis > 297-313
Lecture Notes in Computer Science > Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making > Contributed Papers > 93-108
Theoretical Computer Science > 2009 > 410 > 46 > 4704-4723
Electronic Notes in Theoretical Computer Science > 2000 > 30 > 3 > 144-162
Electronic Notes in Theoretical Computer Science > 2000 > 30 > 3 > 122-142