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 Yamada

pdf

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
}