Rewriting Logic and Its Applications: 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, ... Papers

Ebook Details


Santiago Escobar

Year 2014
Pages 297
Publisher Springer
Language en
ISBN 9783319129037
File Size 8.67 MB
File Format PDF
Download Counter 613
Amazon Link

Ebook Description

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Rewriting Logic and its Applications, WRLA 2014, held as a satellite event of ETAPS 2014, in Grenoble, France, in March 2014.