This book constitutes the refereed proceedings of the 17th International Symposium on Practical A...

This volume contains the refereed proceedings of the 12th International Conference on Logic Progr...

This book constitutes the refereed proceedings of the 19th International Conference on Principles...

This book constitutes the proceedings of the 14th International Workshop on Computational Logic i...

This volume constitutes the revised selected papers of the 6th International Workshop, DALT 2008,...

This book constitutes the revised and selected papers from the 5th International Workshop on Engi...

This book constitutes the refereed proceedings of the 21st International Conference on Principles...