Browse
FAQ

Author

Luke Ong

6 books found

Cover of Formal Methods and Software Engineering

Formal Methods and Software Engineering

Zhenhua Duan, Luke Ong · First published 2017

Cover of Logic, Language, Information and Computation

Logic, Language, Information and Computation

Luke Ong · First published 2012

Cover of Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications

Luke Ong · First published 2011

Cover of Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008

Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008

Giorgio Ausiello, Juhani Karhumäki, Giancarlo Mauri, Luke Ong · First published 2010

Cover of Foundations of Software Science and Computational Structures

Foundations of Software Science and Computational Structures

Luke Ong · First published 2010

Cover of Computer Science Logic

Computer Science Logic

Luke Ong · First published 2005