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 / edited by Dorel Lucanu

Contributor(s):

Lucanu, Dorel [Hrsg.]

Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Springer eBook Collection Computer Science | Lecture notes in computer science ; 9942Publisher: Cham : Springer, 2016Description: Online-Ressource (XV, 185 p. 28 illus, online resource)ISBN:

9783319448022

Subject(s):

Additional physical formats: 9783319448015 | Druckausg.: 978-3-319-44801-5 | Printed edition: 9783319448015 MSC: MSC: *68-06 | 68Q42 | 00B25LOC classification:

QA76.9.L63 QA76.5913 QA76.63
QA76.9.L63
QA76.5913
QA76.63

DOI: DOI: 10.1007/978-3-319-44802-2Online resources:

Summary: 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 applicationsSummary: Foundations -- Rewriting as a logical and semantic framework.-Rewriting languages -- Verification techniques -- ApplicationsPPN: PPN: 1658659570Package identifier: Produktsigel: ZDB-2-LNC | ZDB-2-SCS | ZDB-2-SEB | ZDB-2-SXCS | ZDB-2-SEB

Holdings ( 0 )

No physical items for this record