Rewriting Logic and Its Applications - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Proceedings Year : 2018

Rewriting Logic and Its Applications

Vlad Rusu
  • Function : Author
  • PersonId : 831452
No file

Dates and versions

hal-01963091 , version 1 (21-12-2018)

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⟩
14 View
0 Download

Share

Gmail Facebook X LinkedIn More