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

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

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

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

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

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

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

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

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

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