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 والمزيد
    • ‏39٫99 US$
    • ‏39٫99 US$

وصف الناشر

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

النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠١٥
٢٦ أغسطس
اللغة
EN
الإنجليزية
عدد الصفحات
٦٤٥
الناشر
Springer International Publishing
البائع
Springer Nature B.V.
الحجم
١٤٫٨
‫م.ب.‬
Interactive Theorem Proving Interactive Theorem Proving
٢٠١٨
Automated Reasoning Automated Reasoning
٢٠١٦
Logic, Language, and Security Logic, Language, and Security
٢٠٢٠
Logics of Specification Languages Logics of Specification Languages
٢٠٠٧
Interactive Theorem Proving Interactive Theorem Proving
٢٠١٧
Automated Reasoning Automated Reasoning
٢٠١٨
Rewriting Logic and Its Applications Rewriting Logic and Its Applications
٢٠٢٤
All About Maude - A High-Performance Logical Framework All About Maude - A High-Performance Logical Framework
٢٠٠٧