Luke Ong

No bio available. Add one in Open Library.

Books by Luke Ong (50 max)

+ shelf+ list

Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings (Lecture Notes in Computer Science)

2005

Luke Ong

+ shelf+ list

Logic, Language, Information and Computation 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

2012

Luke Ong

+ shelf+ list

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

2010

Luke Ong

+ shelf+ list

Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

2011

Luke Ong

+ shelf+ list

Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008 : IFIP 20th World Computer Congress, TC 1, Foundations of Computer ... and Communication Technology )

2010

Giorgio Ausiello, Juhani Karhumäki, Giancarlo Mauri, Luke Ong

+ shelf+ list

Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, ...

2017

Zhenhua Duan, Luke Ong