This book constitutes the proceedings of the 20th International Colloquium on Theoretical Aspects...

This Festschrift is dedicated to Christel Baier in recognition of her contributions to the field ...