Document is current
Any future updates will be listed below
-
Authors
Yu, Geunyeol https://orcid.org/0000-0002-6171-9911
Bae, Kyungmin https://orcid.org/0000-0002-6430-5175
- License Information
-
More Information
Chapter History
First Online: 2 August 2024
Conference Information
Conference Acronym: WRLA
Conference Name: International Workshop on Rewriting Logic and its Applications
Conference City: Luxembourg City
Conference Country: Luxembourg
Conference Year: 2024
Conference Start Date: 6 April 2024
Conference End Date: 7 April 2024
Conference Number: 15
Conference ID: wrla2024
Conference URL: https://wrla2024.gitlab.io/
