Logic, Language, Information and Computation: 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings

Logic, Language, Information and Computa

📁 Logic, Language, Information and Computation: 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings

✍ Joachim Baran, Howard Barringer (auth.), Daniel Leivant, Ruy de Queiroz (eds.) 📂 Library 📅 2007 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

Welcome to the proceedings of the 14th WoLLIC meeting, which was held in Rio de Janeiro, Brazil, July 2 - 5, 2007. The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary research involving formal logic, computing and programmin

Logic, Language, Information and Computa

📁 Logic, Language, Information and Computation: 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings

✍ Olivier Danvy, Jacob Johannsen (auth.), Wilfrid Hodges, Ruy de Queiroz (eds.) 📂 Library 📅 2008 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008, held in E

Logic, Language, Information and Computa

📁 Logic, Language, Information and Computation: 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings

✍ Olivier Danvy, Jacob Johannsen (auth.), Wilfrid Hodges, Ruy de Queiroz (eds.) 📂 Library 📅 2008 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008, held in E

Logic, Language, Information, and Comput

📁 Logic, Language, Information, and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings

✍ Juliette Kennedy, Ruy J.G.B. de Queiroz (eds.) 📂 Library 📅 2017 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 24th Workshop on Logic, Language, Information and Communication, WoLLIC 2017, held in London, UK, in August 2017. The 28 contributed papers were carefully r

Logic, language, information and computa

📁 Logic, language, information and computation 16th international workshop; proceedings WoLLIC <16. 2009. Tokyo>

✍ Nai-Phuan Ong, Ravin Bhatt 📂 Library 📅 2001 🏛 Princeton University Press 🌐 English

Logic, Language, Information and Computa

📁 Logic, Language, Information and Computation: 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings

✍ Marcelo Finger, Mauricio S. C. Hernandes (auth.), Anuj Dawar, Ruy de Queiroz (ed 📂 Library 📅 2010 🏛 Springer Berlin Heidelberg 🌐 English

This book is edited in collaboration with FoLLI, the Association of Logic, Language and Information. It constitutes the proceedings of the 17th International Workshop on Logic, Language, Information and Computation, WoLLIC 2010, held in Brasilia, Brazil, in July 2010. The book presents 7 invited tal

Logic, Language, Information and Computation: 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings

✦ Subjects