Showing 1 - 7 results of 7 for search 'Ong, Luke', query time: 0.02s Narrow Search
  1. 1
    Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
    Published 2011
    Other Authors: “…Ong, Luke…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  2. 2
    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…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  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…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  4. 4
    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: Click to view e-book
    eBook
    Save to List
    Saved in:
  5. 5
    Logic, Language, Information, and Computation
    Published 2012
    Other Authors: “…Ong, Luke…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  6. 6
    Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday
    Published 2013
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  7. 7
    Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008 IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy
    Published 2008
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:

Search Tools: