Preface to Rewriting Logic and Its Applications (revised selected papers from WRLA 2020)

This special issue collects revised extended versions of selected papers presented at the 13th International Workshop on Rewriting Logic and Its Applications (WRLA 2020) held as an online event from October 20 to 22, 2020.

Saved in:
Bibliographic Details
Published inJournal of logical and algebraic methods in programming Vol. 146; p. 101061
Main Authors Escobar, Santiago, Martí-Oliet, Narciso
Format Journal Article
LanguageEnglish
Published Elsevier Inc 01.07.2025
Subjects
Formal methods
Maude
Rewriting logic
Specification
Unification
Verification
Maude
Rewriting logic
Specification
Verification
Formal methods
Unification
Online AccessGet full text

Cover

More Information
Summary:This special issue collects revised extended versions of selected papers presented at the 13th International Workshop on Rewriting Logic and Its Applications (WRLA 2020) held as an online event from October 20 to 22, 2020.
ISSN:2352-2208
DOI:10.1016/j.jlamp.2025.101061