Rewriting logic and its applications 8th international workshop, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010 : revised selected papers /
This book constitutes the refereed proceedings of the 8th International Workshop on Rewriting Logic and its Applications, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, in March 2010. The 13 revised full papers presented were carefully reviewed and selected from 29 submissions....
| Corporate Authors: | WRLA (Conference) Paphos, Cyprus) |
|---|---|
| Other Authors: | WRLA (Conference), Ölveczky, Peter Csaba,, SpringerLink (Online service), ETAPS (Conference) |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin :
Springer,
2010.
Berlin : 2010. |
| Physical Description: |
1 online resource (x, 263 pages) : illustrations. |
| Series: |
Lecture notes in computer science ;
6381. LNCS sublibrary. Theoretical computer science and general issues. |
| Subjects: |
CMU Electronic Access
Electronic Resource Click Here| Location | Call Number: | Status |
|---|---|---|
| CMU Electronic Access | Available |