Rewriting Logic from a pLog Point of View

M. Ayala-Rincón, Besik Dundua, Teimuraz Kutsia, Mircea Marin

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	Proceedings of the 12th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2017)
Editors	Sandra Alves and Renata Wasserman
Number of pages	16
Publication status	Published - 2017

Fields of science

@inproceedings{c17b5f92a1084ccbb5d25113d502490d,

title = "Rewriting Logic from a pLog Point of View",

author = "M. Ayala-Rinc{\'o}n and Besik Dundua and Teimuraz Kutsia and Mircea Marin",

year = "2017",

language = "English",

editor = "{Sandra Alves and Renata Wasserman}",

booktitle = "Proceedings of the 12th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2017)",

}