Wyniki wyszukiwania dla: Simon Helsen
Lecture Notes in Computer Science > Semantics, Applications, and Implementation of Program Generation > Technical Papers > 51-71
IEEE Software > 2008 > 25 > 5 > 18 - 21
Higher-Order and Symbolic Computation > 2004 > 17 > 4 > 347-394
Information and Computation > 2002 > 173 > 2 > 199-221
Electronic Notes in Theoretical Computer Science > 2001 > 41 > 3 > 1-19