Search results for: C. Jeske
Journal of Logic and Algebraic Programming > 2011 > 80 > 8 > 453-480
Journal of Logic and Algebraic Programming > 2010 > 79 > 3-5 > 215-232
Journal of Logic and Algebraic Programming > 2008 > 75 > 2 > 209-229
Science of Computer Programming > 2007 > 67 > 2-3 > 301-329
Fundamenta Informaticae > 2007 > Vol. 77, nr 1,2 > 29-69