1. Rewriting logic and its applications : 12th International Workshop, WRLA 2018, held as a satellite event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings /: 12th International Workshop, WRLA 2018, held as a satellite event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings. (2018) Editors: Rusu, Vlad Other Names: WRLA (Conference), 12th; ETAPS (Conference), 21st Record Type: Book Extent: 1 online resource (xii, 261 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗