J Meseguer - Logic, Language, Information, and Computation: 25th …, 2018 - Springer
Rewriting logic is both a logical framework where many logics can be naturally represented,
and a semantic framework where many computational systems and programming …