Logic, Rewriting, and Concurrency
Subtitle: Symposium in Honor of José Meseguer on the Occasion of His 65th Birthday, Urbana, il, USA, September 23-25, 2015, Proceedings
Publisher: Springer International Publishing AG
Published: 2015
Language: eng
ISBN-13: 9783319231648
Subjects: Logic, symbolic and mathematical; Computer programming