On Automating Inductive and Non-Inductive Termination Methods Asian Computing Science Conference

Research output: Contribution to conferencePaper

Original languageEnglish
Pages177-189
Number of pages13
Publication statusPublished - 1999

Cite this