Term Ordering for Non-Reachability of (Conditional) Rewriting
Author: Akihisa Yamada
Paper Information
| Title: | Term Ordering for Non-Reachability of (Conditional) Rewriting |
| Authors: | Akihisa Yamada |
| Proceedings: | IJCAR 2022 Proceedings of IJCAR 2022 |
| Editors: | Laura Kovacs, Jasmin Blanchette and Dirk Pattinson |
| Keywords: | term rewriting, reachability, termination, infeasibility, path orders |
| Pages: | 19 |
| Talk: | Aug 08 11:40 (Session 96D: Effective Superposition and Orderings) |
| Paper: |  |