Termination Analysis for Term Rewriting Nao Hirokawa Homepage Date: 2014/08/04 (Mon) 14:00 to 15:30 Place: I-51 In this talk I will give a brief introduction to the dependency pair method. Contact Nao Hirokawa
