Skip to Main content Skip to Navigation
Directions of work or proceedings

Rewriting Logic and Its Applications

Document type :
Directions of work or proceedings
Complete list of metadata

https://hal.inria.fr/hal-01963091
Contributor : Pal Dream <>
Submitted on : Friday, December 21, 2018 - 10:13:15 AM
Last modification on : Friday, January 4, 2019 - 10:22:31 AM

Identifiers

  • HAL Id : hal-01963091, version 1

Collections

Citation

Vlad Rusu. Rewriting Logic and Its Applications. WRLA 2018 - 12th International Workshop on Rewriting Logic and Its Applications, Jun 2018, Thessaloniki, Greece. 11152, Springer International Publishing, pp.XII, 261, 2018, Theoretical Computer Science and General Issues, 978-3-319-99839-8. ⟨hal-01963091⟩

Share

Metrics

Record views

22