![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Rewriting Logic and Its Applications Volume 11152 (12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings) || Proving Structural Properties of Sequent Systems in Rewriting Logic
Rusu, VladVolume:
10.1007/97
Year:
2018
Language:
english
DOI:
10.1007/978-3-319-99840-4_7
File:
PDF, 525 KB
english, 2018