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 /
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 in...
| Corporate Authors: | WRLA (Conference) Eindhoven, Netherlands) |
|---|---|
| Other Authors: | WRLA (Conference), Lucanu, Dorel,, SpringerLink (Online service), ETAPS (Conference) |
| Format: | eBook |
| Language: | English |
| Published: |
Switzerland :
Springer,
2016.
|
| Physical Description: |
1 online resource (xiii, 185 pages). |
| Series: |
Lecture notes in computer science ;
9942. LNCS sublibrary. Theoretical computer science and general issues. |
| Subjects: |
CMU Electronic Access
Electronic Resource Click Here| Location | Call Number: | Status |
|---|---|---|
| CMU Electronic Access | Available |