Search results for: Gilberto Filè
Lecture Notes in Computer Science > STACS 85 > 119-130
Lecture Notes in Computer Science > CAAP '86 > 112-126
Lecture Notes in Computer Science > ESOP 86 > 315-326
Lecture Notes in Computer Science > Static Analysis > 100-117
Lecture Notes in Computer Science > STACS 88 > 184-192
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Theoretical Computer Science > 1999 > 222 > 1-2 > 77-111
The Journal of Logic Programming > 1999 > 38 > 3 > 371-386
Theoretical Computer Science > 1998 > 202 > 1-2 > 163-192
The Journal of Logic Programming > 1996 > 28 > 3 > 181-206