M. Ayala-Rincón, Besik Dundua, Teimuraz Kutsia, Mircea Marin,
"Rewriting Logic from a pLog Point of View"
, in Sandra Alves and Renata Wasserman: Proceedings of the 12th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2017), 2017
Original Titel:
Rewriting Logic from a pLog Point of View
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the 12th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2017)