Search results for: Michael Thomas
Journal of Applied Logic > 2010 > 8 > 4 > 409-421
Information Processing Letters > 2009 > 109 > 18 > 1071-1077
Electronic Notes in Theoretical Computer Science > 2008 > 223 > Complete > 201-213
Journal of Applied Logic > 2010 > 8 > 4 > 409-421
Information Processing Letters > 2009 > 109 > 18 > 1071-1077
Electronic Notes in Theoretical Computer Science > 2008 > 223 > Complete > 201-213