Algebras, Diagrams and Decisions in Language, Logic
and Computation

edited by Kees Vermeulen and Ann Copestake

This volume is exemplary in showing how the shared interests of three different areas of research can lead to significant cooperation and fruitful exchanges of techniques. Six papers each present in an accessible way an exciting contribution to the study and use of algebras, diagrams and decisions. These themes are of interest to researchers in the areas of language, logic and computation.

The types of contributions range from indispensable overview papers about shared formal methods to inspirational applications of formal tools to specific problems.

Kees Vermeulen is a researcher at CWI, the National Research Center for Mathematics and Computer Science in Amsterdam, The Netherlands. Ann Copestake is a lecturer in the University of Cambridge Computer Laboratory, United Kingdom.