Showing 1 - 3 results of 3 for search 'C. -H. Luke Ong', query time: 0.02s
Refine Results
-
1
The Safe Lambda Calculus by William Blum, C. -H. Luke Ong
Published 2009-02-01
Article -
2
Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems by Matthew Hague, C. -H. Luke Ong
Published 2008-12-01
Article -
3
Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus by Naoki Kobayashi, C. -H. Luke Ong
Published 2012-01-01
Article