Proceedings
Year : 2018
Pal Dream : Connect in order to contact the contributor
https://inria.hal.science/hal-01963091
Submitted on : Friday, December 21, 2018-10:13:15 AM
Last modification on : Tuesday, April 11, 2023-1:58:21 PM
Dates and versions
Identifiers
- HAL Id : hal-01963091 , version 1
Cite
Vlad Rusu. Rewriting Logic and Its Applications: 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings. 11152, Springer International Publishing, pp.XII, 261, 2018, Theoretical Computer Science and General Issues, 978-3-319-99839-8. ⟨hal-01963091⟩
Collections
14
View
0
Download