Algebras, Diagrams and Decisions in Language, Logic and Computation
2 contributors - Hardback
£52.00
Find out more
Kees Vermeulen is a researcher at the National Research Center for Mathematics and Computer Science in Amsterdam. Ann Copestake is a lecturer in the University of Cambridge Computer Laboratory.