The 19th International Workshop on Termination (WST 2023): Preface, Invited Talk Abstract, and Tool Descriptions

Autor:	Yamada, Akihisa, Kaminski, Benjamin Lucien, Hofbauer, Dieter, Mesnard, Fred, Payet, Étienne
Rok vydání:	2023
Předmět:	Computer Science - Logic in Computer Science
Druh dokumentu:	Working Paper
Popis:	This report contains the proceedings of the 19th International Workshop on Termination (WST 2023), which was held in Obergurgl during August 24--25 as part of Obergurgl Summer on Rewriting (OSR 2023).
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2308.09536 Zobrazit plný text záznamu View this record from Arxiv