A New Format for Rewrite Systems
Takahito Aoto, Nao Hirokawa, Dohan Kim, Misaki Kojima, Aart Middeldorp, Fabian Mitterwallner, Naoki Nishida, Teppei Saito, Jonas Schöpf, Kiraku Shintani, René Thiemann, Akihisa Yamada12th International Workshop on Confluence (IWC), pp. 32-37, 2023.
Abstract
We propose a new format for a variety of rewrite systems, to replace the current COPS
format used in the Confluence Competition. We include a proposal for logically constrained
rewrite system, to prepare for a future competition category.
BibTeX
@inproceedings{AHKKMMNSSSTY-IWC23,
author = "Takahito Aoto and Nao Hirokawa and Dohan Kim and Misaki Kojima
and Aart Middeldorp and Fabian Mitterwallner and Naoki Nishida and Teppei
Saito and Jonas Sch{\"o}pf and Kiraku Shintani and Ren{\'e} Thiemann and Akihisa
Yamada",
title = "A New Format for Rewrite Systems",
booktitle = "Proceedings of the 12th International Workshop on Confluence",
pages = "32--37",
year = 2023
}