A Proof Method for Local Sufficient Completeness of Term Rewriting Systems

von Shiraishi, Tomoki
Veröffentlicht in ICTAC (18. : 2021 : Online) Theoretical aspects of computing - ICTAC 2021 (2021)