WRLA 2020

by Santiago Escobar, Jan. 10, 2020

The 13th International Workshop on Rewriting Logic and its Applications
An ETAPS 2020 satellite event - Dublin, Ireland - April 25-26 2020