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

Logic, Rewriting, and Concurrency

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

Narciso Martí-Oliet 및 다른 저자
    • US$39.99
    • US$39.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é.

장르
컴퓨터 및 인터넷
출시일
2015년
8월 26일
언어
EN
영어
길이
645
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
14.8
MB
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년
Rewriting Logic and Its Applications Rewriting Logic and Its Applications
2024년
All About Maude - A High-Performance Logical Framework All About Maude - A High-Performance Logical Framework
2007년