Search results for: John Howroyd
New Generation Computing > 2017 > 35 > 1 > 87-104
Journal of Logic and Algebraic Programming > 2007 > 72 > 2 > 191-206
Theoretical Computer Science > 2007 > 373 > 1-2 > 1-18
Formal Aspects of Computing > 2006 > 18 > 2 > 103-119
Theoretical Computer Science > 2003 > 290 > 1 > 831-862