This book constitutes the refereed proceedings of the 14th International Conference on Formal Gra...
This book constitutes the refereed proceedings of the 15th and 16th International Conference on F...
Edited under the auspices of the Association of Logic, Language and
This book constitutes the refereed proceedings of the 4th International Conference on Logical Asp...
Edited under the auspices of the Association of Logic, Language andInformation (FoLLI), this book...
This book constitutes the refereed proceedings of the Third International Conference on Typed Lam...
This book constitutes the refereed proceedings of the 15th and 16th International Conference on F...
Thisvolumecontainstheproceedingsofthe4thInternationalConferenceonL- icalAspectsofComputationalLin...