luke ong

Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008

International Federation for Information Processing

Typed Lambda Calculi and Applications

This book constitutes the refereed proceedings of the 10th International Conference on Typed Lamb...

Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky

This Festschrift volume, published in honor of Samson Abramsky, contains contributions written by...

Foundations of Software Science and Computational Structures

ETAPS 2010 was the 13th instance of the European Joint Conferences on T- oryand Practiceof Softwa...

Logic, Language, Information, and Computation

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book ...

Formal Methods and Software Engineering

This book constitutes the refereed proceedings of the 19th International Conference on Formal Eng...

Computer Science Logic

Foundations of Software Science and Computational Structures

ETAPS 2010 was the 13th instance of the European Joint Conferences on T- oryand Practiceof Softwa...

Logic, Language, Information, and Computation

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book ...

Fifth Ifip International Conference on Theoretical Computer Science - Tcs 2008

International Federation for Information Processing The IFIP series publishes state-of-the-art re...

Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008

International Federation for Information Processing The IFIP series publishes state-of-the-art re...

Computer Science Logic

TheAnnualConferenceoftheEuropeanAssociationforComputerScienceLogic (EACSL), CSL 2005, was held at...