Logic, Rewriting, and Concurrency

Logic, Rewriting, and Concurrency

by Narciso Martí-OlietCarolyn Talcott and Peter Csaba Ölveczky
Epub (Kobo), Epub (Adobe)
Publication Date: 31/05/2016

Share This eBook:

  $76.99

This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of José Meseguer to honor him on the occasion of his 65th birthday.

These papers were presented at a symposium at the University of Illinois at Urbana-Champaign on September 23-25, 2015. The symposium also featured invited talks by Claude and Hélène Kirchner and by Patrick Lincoln. The foreword of this volume adds a brief overview of some of José's many scientific achievements followed by a bibliography of papers written by José.

ISBN:
9783319231655
9783319231655
Category:
Mathematical theory of computation
Format:
Epub (Kobo), Epub (Adobe)
Publication Date:
31-05-2016
Language:
English
Publisher:
Springer International Publishing

This item is delivered digitally

Reviews

Be the first to review Logic.