Termination of Term Rewriting: Foundation, Formalization, Implementation, and Competition (Invited Talk).

Akihisa Yamada

Browse the full FSCD paper archive.