Luke Ong

Identifiers

Open LibraryOL3281630A

Top Subjects

Computer science (4)
Logic design (3)
Data processing (2)
Algebra (2)
Software engineering (1)
Electronic data processing (1)
Symbolic and mathematical Logic (1)

Books by Luke Ong

Total count: 7

Computer Science Logic19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

Springer London, Limited2005-01-01
Foundations of Software Science and Computational Structures13th 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

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

Springer2010-11-19
Typed Lambda Calculi and Applications10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Springer-Verlag GmbH Berlin Heidelberg2011-01-01
Logic, Language, Information and Computation19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

Springer Berlin Heidelberg2012-01-01
Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson AbramskyEssays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday

Springer Berlin / Heidelberg2013-01-01
Formal Methods and Software Engineering19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, ...

Springer2017-10-14