Yamada, Akihisa Tuple interpretations for termination of term rewriting. (English) Zbl 1511.68135 J. Autom. Reasoning 66, No. 4, 667-688 (2022). MSC: 68Q42 PDFBibTeX XMLCite \textit{A. Yamada}, J. Autom. Reasoning 66, No. 4, 667--688 (2022; Zbl 1511.68135) Full Text: DOI
Yamada, Akihisa Term orderings for non-reachability of (conditional) rewriting. (English) Zbl 07628191 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 248-267 (2022). MSC: 68V15 PDFBibTeX XMLCite \textit{A. Yamada}, Lect. Notes Comput. Sci. 13385, 248--267 (2022; Zbl 07628191) Full Text: DOI
Yamada, Akihisa Multi-dimensional interpretations for termination of term rewriting. (English) Zbl 07437084 Platzer, André (ed.) et al., Automated deduction – CADE 28. 28th international conference on automated deduction, virtual event, July 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12699, 273-290 (2021). MSC: 03B35 68V15 PDFBibTeX XMLCite \textit{A. Yamada}, Lect. Notes Comput. Sci. 12699, 273--290 (2021; Zbl 07437084) Full Text: DOI
Iborra, José; Nishida, Naoki; Vidal, Germán; Yamada, Akihisa Relative termination via dependency pairs. (English) Zbl 1410.68190 J. Autom. Reasoning 58, No. 3, 391-411 (2017). MSC: 68Q42 68T15 PDFBibTeX XMLCite \textit{J. Iborra} et al., J. Autom. Reasoning 58, No. 3, 391--411 (2017; Zbl 1410.68190) Full Text: DOI
Yamada, Akihisa; Winkler, Sarah; Hirokawa, Nao; Middeldorp, Aart AC-KBO revisited. (English) Zbl 1379.68277 Theory Pract. Log. Program. 16, No. 2, 163-188 (2016). MSC: 68T15 06A06 68Q42 PDFBibTeX XMLCite \textit{A. Yamada} et al., Theory Pract. Log. Program. 16, No. 2, 163--188 (2016; Zbl 1379.68277) Full Text: DOI
Iborra, José; Nishida, Naoki; Vidal, Germán; Yamada, Akihisa Reducing relative termination to dependency pair problems. (English) Zbl 1465.68120 Felty, Amy P. (ed.) et al., Automated deduction – CADE-25. 25th international conference on automated deduction, Berlin, Germany, August 1–7, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9195, 163-178 (2015). MSC: 68Q42 PDFBibTeX XMLCite \textit{J. Iborra} et al., Lect. Notes Comput. Sci. 9195, 163--178 (2015; Zbl 1465.68120) Full Text: DOI Link