Search Results1-1 of  1

  • MIZUTANI Tomohiro ID: 9000006075484

    Graduate School of Information Science, Nagoya University (2007 from CiNii)

    Articles in CiNii:3

    • Transformation for Removing Context-Sensitivity of TRSs Obtained by Unraveling (2006)
    • Proving Non-termination of Logic Programs by Detecting Loops in Derivation Trees (2007)
    • Proving Non-termination of Logic Programs by Detecting Loops in Derivation Trees (2007)
Page Top