Edited under the auspices of the Association of Logic, Language andInformation (FoLLI), this book...
This book constitutes the refereed proceedings of the 15th and 16th International Conference on F...
This book constitutes the refereed proceedings of the 14th International Conference on Formal Gra...
Edited under the auspices of the Association of Logic, Language andInformation (FoLLI), this book...
Thisvolumecontainstheproceedingsofthe4thInternationalConferenceonL- icalAspectsofComputationalLin...
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...
This book constitutes the refereed proceedings of the 14th International Conference on Formal Gra...