Rewriting logic and its applications 9th International Workshop, WRLA 2012, held as a satellite event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised selected papers /
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held as a satellite event of ETAPS 2012, in Tallinn, Estonia, in March 2012. The 8 revised full papers presented together with 4 invited paper...
| Corporate Authors: | WRLA (Conference) Tallinn, Estonia) |
|---|---|
| Other Authors: | WRLA (Conference), Duran, Francisco, SpringerLink (Online service), ETAPS (Conference) |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
©2012.
Berlin ; New York : [2012] |
| Physical Description: |
1 online resource. |
| Series: |
Lecture notes in computer science ;
7571. LNCS sublibrary. Theoretical computer science and general issues. |
| Subjects: |
CMU Electronic Access
Electronic Resource Click Here| Location | Call Number: | Status |
|---|---|---|
| CMU Electronic Access | Available |