Document is current
Any future updates will be listed below
-
Authors
Ban Kirigin, Tajana https://orcid.org/0000-0003-3230-6891
Comer, Jesse https://orcid.org/0009-0006-9734-3457
Kanovich, Max https://orcid.org/0000-0002-7502-1653
Scedrov, Andre https://orcid.org/0000-0002-4536-0419
Talcott, Carolyn https://orcid.org/0000-0003-2845-7144
- 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/
