Rewriting Logic and Its Applications : 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers Paperback / softback
Edited by Dorel Lucanu
Part of the Theoretical Computer Science and General Issues series
Paperback / softback
Description
This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on Rewriting Logic and its Applications, WRLA 2016, held as a satellite event of ETAPS 2016, in Eindhoven, The Netherlands, in April 2016. The 8 revised full papers presented together with 2 invited papers and 3 abstracts were carefully reviewed and selected from 14 submissions.
The papers cover several topics such as: foundations; rewriting as a logical and semantic framework; rewriting languages; verification techniques; and applications.
Information
-
Available to Order - This title is available to order, with delivery expected within 2 weeks
- Format:Paperback / softback
- Pages:185 pages, 28 Illustrations, black and white; XV, 185 p. 28 illus.
- Publisher:Springer International Publishing AG
- Publication Date:18/08/2016
- Category:
- ISBN:9783319448015
Information
-
Available to Order - This title is available to order, with delivery expected within 2 weeks
- Format:Paperback / softback
- Pages:185 pages, 28 Illustrations, black and white; XV, 185 p. 28 illus.
- Publisher:Springer International Publishing AG
- Publication Date:18/08/2016
- Category:
- ISBN:9783319448015