Search results for: Etienne Payet
Fundamenta Informaticae > 2020 > Vol. 177, nr 3/4 > 359--383
Lecture Notes in Computer Science > Static Analysis > 509-525
Lecture Notes in Computer Science > Logic-Based Program Synthesis and Transformation > Termination and Analysis > 194-209
Information Processing Letters > 2015 > 115 > 11 > 882-885
Information and Software Technology > 2012 > 54 > 11 > 1192-1201
Higher-Order and Symbolic Computation > 2010 > 23 > 1 > 29-86
Electronic Notes in Theoretical Computer Science > 2009 > 253 > 5 > 83-96
Theoretical Computer Science > 2008 > 403 > 2-3 > 307-327
Information Processing Letters > 1998 > 65 > 2 > 57-62