Minh Do, Canh http://orcid.org/0000-0002-1601-4584
Riesco, Adrián http://orcid.org/0000-0002-9716-4612
Escobar, Santiago http://orcid.org/0000-0002-3550-4781
Ogata, Kazuhiro http://orcid.org/0000-0002-4441-3259
Chapter History
First Online: 30 July 2022
Conference Information
Conference Acronym: WRLA
Conference Name: International Workshop on Rewriting Logic and its Applications
Conference City: Munich
Conference Country: Germany
Conference Year: 2022
Conference Start Date: 2 April 2022
Conference End Date: 3 April 2022
Conference Number: 14
Conference ID: wrla2022
Conference URL: http://sv.postech.ac.kr/wrla2022/