Library

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

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).

Natural Language Processing Techniques
View graphSource

Paper

Similar papers

Proceedings of the 21st International Workshop on TerminationFlorian Frohn, Étienne Payet2026 · arXiv (Cornell University) In Library
30TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WOLLIC 2024) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Bern, Switzerland June 10–13, 20242025 · Bulletin of Symbolic Logic In Library
Workshops at the Web Conference 2023Femke Ongenae, Riccardo Tommasini2023 · The Web Conference · 0 citations In Library
On graph rewriting systems termination through language theoryGuillaume Bonfante, Miguel Couceiro2024 · HAL (Le Centre pour la Communication Scientifique Directe) In Library
FINDINGS OF THE IWSLT 2023 EVALUATION CAMPAIGNMilind Agarwal, Sweta Agrawal, Antonios Anastasopoulos et al.2023 In Library
Conference reportsJorge A. Pérez2020 · ACM SIGLOG News In Library
PrefaceGeorge Metcalfe, Thomas Studer, Ruy de Queiroz2026 · Journal of Logic and Computation In Library
Old and New Benchmarks for Relative Termination of String Rewrite SystemsDieter Hofbauer, Johannes Waldmann2023 · arXiv (Cornell University) In Library
Proving Non-Termination by Acceleration Driven Clause Learning (Short WST Version)Florian Frohn, Jürgen Giesl2023 · arXiv (Cornell University) In Library
The Semantic Web – ISWC 2023Terry R. Payne, Valentina Presutti, Guilin Qi et al.2023 · Lecture notes in computer science In Library
© 2026 NYSGPT2525 LLC