Rewriting Logic and Its Applications Rewriting Logic and Its Applications

Rewriting Logic and Its Applications

12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

    • ‏39٫99 US$
    • ‏39٫99 US$

وصف الناشر

This book constitutes revised selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2018, held in Thessaloniki, Greece, in June 2018.

The 12 full papers presented in this volume were carefully reviewed and selected from 21 submissions. They deal with rewriting, a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication, and interaction, and its applications. 

النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠١٨
٧ سبتمبر
اللغة
EN
الإنجليزية
عدد الصفحات
٢٧٣
الناشر
Springer International Publishing
البائع
Springer Nature B.V.
الحجم
٨٫٨
‫م.ب.‬
Functional and Logic Programming Functional and Logic Programming
٢٠١٠
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
٢٠٢٢
Programming Languages and Systems Programming Languages and Systems
٢٠٢٢
Functional and Logic Programming Functional and Logic Programming
٢٠٢٢
Algebraic Methodology and Software Technology Algebraic Methodology and Software Technology
٢٠١١
Programming Languages and Systems Programming Languages and Systems
٢٠٢٣