Rewriting logic and its applications: 12th international workshop, wrla 2018, held as a satellite event of etaps, thessaloniki, greece, june 14-15, 2018, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783319998398
Date de publication :
8 sept. 2018
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.