Search results for: Feng Guo
Computer Languages, Systems & Structures > 2009 > 35 > 3 > 252-265
Journal of Logic and Algebraic Programming > 2008 > 78 > 1 > 1-21
Journal of Applied Logic > 2007 > 5 > 2 > 333-355
Journal of Parallel and Distributed Computing > 2006 > 66 > 10 > 1267-1293