Showing 1 - 8 results of 8 for search 'Ong, Luke', query time: 0.02s Refine Results
  1. 1
    Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
    by Ong, Luke
    Published 2010
    Get full text
    Electronic Kit Book
  2. 2
    Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings /
    Published 2011
    Other Authors: “…Ong, Luke…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
    Published 2010
    Other Authors: “…Ong, Luke…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings /
    Published 2005
    Other Authors: “…Ong, Luke…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings /
    Published 2017
    Other Authors: “…Ong, Luke…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Logic, Language, Information and Computation 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings /
    Published 2012
    Other Authors: “…Ong, Luke…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday /
    Published 2013
    Other Authors: “…Ong, Luke…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008
    Published 2008
    Other Authors: “…Ong, Luke…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search