Argument Filtering Transformation
暂无分享,去创建一个
Yoshihito Toyama | Keiichirou Kusakari | Masaki Nakamura | Y. Toyama | Keiichirou Kusakari | Masaki Nakamura
[1] Keiichirou Kusakari,et al. On proving AC-termination by argument filtering method , 1999 .
[2] Keiichirou Kusakari. On Proving AC-Termination by AC-Dependency Paris , 1998 .
[3] Hans Zantema,et al. Transforming Termination by Self-Labelling , 1996, CADE.
[4] Hans Zantema,et al. Dummy Elimination: Making Termination Easier , 1995, FCT.
[5] Yoshihito Toyama,et al. The hierarchy of dependency pairs , 1999 .
[6] Jan Willem Klop,et al. Term Rewriting Systems: From Church-Rosser to Knuth-Bendix and Beyond , 1990, ICALP.
[7] Enno Ohlebusch,et al. Pushing the Frontiers of Combining Rewrite Systems Farther Outwards , 1998 .
[8] Jürgen Giesl,et al. Termination of term rewriting using dependency pairs , 2000, Theor. Comput. Sci..
[9] Maria da Conceição Fernández Ferreira. Termination of term rewriting : well-foundedness, totality and transformations , 1995 .
[10] Jürgen Giesl,et al. Automatically Proving Termination Where Simplification Orderings Fail , 1997, TAPSOFT.
[11] Jürgen Giesl,et al. Proving Innermost Normalisation Automatically , 1997, RTA.
[12] Claude Marché,et al. Termination of Associative-Commutative Rewriting by Dependency Pairs , 1998, RTA.
[13] Hans Zantema,et al. Termination of Term Rewriting: Interpretation and Type Elimination , 1994, J. Symb. Comput..
[14] T. Arts. Automatically proving termination and innermost normalisation of term rewriting systems , 2001 .
[15] Chang Liu,et al. Term rewriting and all that , 2000, SOEN.