Search results for: I. Guessarian
Lecture Notes in Computer Science > Logic Program Synthesis and Transformation — Meta-Programming in Logic > 17-35
Lecture Notes in Computer Science > STACS 94 > 33-46
Journal of Mathematical Sciences > 2009 > 158 > 5 > 623-632
Theoretical Computer Science > 1998 > 206 > 1-2 > 81-125