Logic, Rewriting, and Concurrency

Discover the fascinating world of computer programming with "Logic, Rewriting, and Concurrency," a comprehensive Festschrift volume edited by Narciso Martí-Oliet. Published by Springer International Publishing AG in 2015, this first edition features 634 pages filled with 28 refereed papers that celebrate the contributions of the esteemed José Meseguer on his 65th birthday. This collection includes personal memories, insightful essays, and rigorous research papers from his close collaborators and friends, making it a valuable resource for anyone interested in the fields of logic, rewriting, and concurrency. Perfect for researchers, students, and enthusiasts alike, this book not only honors a remarkable figure in the field but also provides a rich exploration of symbolic and mathematical concepts. Enhance your understanding of these critical areas of computer science with this essential addition to your library.