Searching for authors named "Yike Guo" – sorted by Relevance.
-
FALCON: Functional and Logic Language with Constraints
- FALCON: Functional and Logic Language with Constraints Yi-ke Guo Department of Computing Imperial
- Cited by 3 (2 self) – Add To MetaCart
-
Formalising Actors in Linear Logic
- Formalising Actors in Linear Logic John Darlington Yi-ke Guo Department of Computing Imperial
- Cited by 4 (0 self) – Add To MetaCart
-
Constraint Functional Programming
- Constraint Functional Programming John Darlington Yi-ke Guo Department of Computing Imperial
- Cited by 4 (0 self) – Add To MetaCart
-
Constraint Logic Programming in the Sequent Calculus
- Constraint Logic Programming in the Sequent Calculus John Darlington and Yike Guo Dept
- Cited by 4 (0 self) – Add To MetaCart
-
Discovery Processes: Representation And Re-Use
- DISCOVERY PROCESSES: REPRESENTATION AND RE-USE J Syed, M Ghanem, Y Guo Imperial College of Science
- Cited by 3 (1 self) – Add To MetaCart
-
Enabling more sophisticated gene expression analysis for understanding diseases and optimizing treatments
- Treatments ABSTRACT Donny Soh 1 , Difeng Dong 3 , Yike Guo 2 , Limsoon Wong 3 1 Institute for Infocomm
- Cited by 1 (0 self) – Add To MetaCart
-
Functional Programming Languages with Logical Variables: A Linear Logic View
- Functional Programming Languages with Logical Variables: A Linear Logic View John Darlington Yi-ke
- Cited by 4 (0 self) – Add To MetaCart
-
The Parallel Fortran Family and a New Perspective
- The Parallel Fortran Family and a New Perspective John Darlington Yi-ke Guo Jin Yang Department
- Cited by 1 (0 self) – Add To MetaCart
-
Reduction as Deduction
- Reduction as Deduction John Darlington Yi-ke Guo Martin Kohler Department of Computing Imperial
- Cited by 1 (0 self) – Add To MetaCart
-
A General Computational Scheme for Constraint Logic Programming
- A General Computational Scheme for Constraint Logic Programming John Darlington Yike Guo Qian Wu
- Cited by 2 (0 self) – Add To MetaCart

