Logic, Rewriting, and Concurrency Logic, Rewriting, and Concurrency

Logic, Rewriting, and Concurrency

Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

    • $59.99
    • $59.99

Publisher Description

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é.

GENRE
Computing & Internet
RELEASED
2015
26 August
LANGUAGE
EN
English
LENGTH
645
Pages
PUBLISHER
Springer International Publishing
SELLER
Springer Nature B.V.
SIZE
14.8
MB

More Books Like This

Interactive Theorem Proving Interactive Theorem Proving
2018
Automated Reasoning Automated Reasoning
2016
Logic, Language, and Security Logic, Language, and Security
2020
Logics of Specification Languages Logics of Specification Languages
2007
Interactive Theorem Proving Interactive Theorem Proving
2017
Automated Reasoning Automated Reasoning
2018

More Books by Narciso Martí-Oliet, Peter Csaba Ölveczky & Carolyn Talcott