This Festschrift volume contains papers presented at a conference, Prakash Fest, held in honor of...

The 32nd International Colloquium on Automata, Languages and Programming (ICALP 2005) was held in...

These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) ...

This book constitutes the thoroughly refereed post-conference proceedings of the 7th Internationa...

This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal ...

This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory...

This volume contains the proceedings of the 19th International Conference on Logic Programming, I...

This volume contains the proceedings of the 11th International Conference on Concurrency Theory (...

This book constitutes the refereed proceedings of the 10th International Symposium on Programming...

In recent years, the growing popularity of mobile devices equipped with GPS chips, in combination...

This book presents a comprehensive mathematical theory that explains precisely what information f...