Search results for: Marco Comini
Formal Aspects of Computing > 2017 > 29 > 3 > 531-557
Lecture Notes in Computer Science > Logic Program Synthesis and Transformation — Meta-Programming in Logic > 440-450
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Debugging and Types > 1-16
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Analysis of Logic Programs > 595-609
Science of Computer Programming > 2003 > 49 > 1-3 > 89-123
Information and Computation > 2001 > 169 > 1 > 23-80
Electronic Notes in Theoretical Computer Science > 2001 > 48 > Complete > 131-146
Electronic Notes in Theoretical Computer Science > 2001 > 40 > Complete > 52-69
The Journal of Logic Programming > 1999 > 39 > 1-3 > 43-93
Theoretical Computer Science > 1999 > 211 > 1-2 > 275-309
Electronic Notes in Theoretical Computer Science > 1999 > 30 > 1 > 22-38