This is the second volume of a unique collection that brings together the best English-language problems created for students competing in the Computational Lin

This is the first volume of a unique collection that brings together the best English-language problems created for students competing in the Computational Ling

Ideas from theoretical computer science continue to have an important influence on areas of philosophy and linguistics. The papers contained in this volume by s

This text presents the formal concepts underlying Computer Science.It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with cha

This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos. This highly acti