This book constitutes the thoroughly refereed post-conference proceedings of the 18th Internation...

This book constitutes the proceedings of the Kiel Declarative Programming Days, KDPD 2013, unifyi...

This volume contains a selection of papers presented at the 15th International Conference on Appl...

This book constitutes the refereed proceedings of the 6th International Conference on Algebraic a...

This book constitutes the refereed proceedings of the Fifth International Conference on Algebraic...

This volume constitutes the thoroughly refereed post-conference proceedings of the 17th Internati...

This book constitutes revised selected papers from the 21st International Conference on Applicati...

This book constitutes the refereed post-conference proceedings of the 28th International Workshop...

This book constitutes the proceedings of the 16th International Symposium on Functional and Logic...

This book constitutes the proceedings of the 25th International Symposium on Practical Aspects of...