Searching for authors named "Yike Guo" – sorted by Relevance.
34 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
