Termination, AC-Termination and Dependency Pairs of Term Rewriting Systems (2000)

by Keiichirou Kusakari
Venue:Ph.D. thesis, JAIST
Citations:5 - 0 self

Documents Related by Co-Citation

12 Y.: On proving AC-termination by AC-dependency pairs – K Kusakari, Toyama - 2001
210 Termination of Term Rewriting Using Dependency Pairs – Thomas Arts, Jürgen Giesl - 2000
265 ORDERINGS FOR TERM-REWRITING SYSTEMS – Nachum Dershowitz - 1982
453 Rewriting – Nachum Dershowitz, David A. Plaisted - 2001
13 Termination of Associative-Commutative Rewriting by Dependency Pairs – Claude Marche, Xavier Urbain - 1998
135 Complete sets of reductions for some equational theories – G E Peterson, M E Stickel - 1981
18 Modularity of Termination Using Dependency Pairs – Thomas Arts, Jürgen Giesl - 1997
39 Argument Filtering Transformation – Keiichirou Kusakari, Masaki Nakamura, Yoshihito Toyama - 1999
11 Pushing the Frontiers of Combining Rewrite Systems Farther Outwards – Jürgen Giesl, Enno Ohlebusch - 1998
6 Verification of Erlang processes by dependency pairs. Applicable Algebra – J Giesl, T Arts
11 monadic second-order logic and tree automata – Sequentiality - 1999
22 Right-linearfinite path overlapping term rewriting systems effectively preserve recognizability – T Takai, Y Kaji, H Seki - 2000
148 Tree automata techniques and applications – Hubert Comon, Max Dauchet, Florent Jacquemard, Denis Lugiez, Sophie Tison, Marc Tommasi - 1997
52 Decidable approximations of term rewriting systems – F Jacquemard - 1996
26 Decidability for left-linear growing term rewriting systems – T Nagaya, Y Toyama - 1999
49 Termination orderings for associative-commutative rewrite systems – L Bachmair, D A Plaisted - 1985
16 A Total, Ground Path Ordering for Proving Termination of AC-Rewrite Systems – Deepak Kapur, G. Sivakumar - 1997
32 Automatically Proving Termination Where Simplification Orderings Fail – Thomas Arts, Jürgen Giesl - 1997
15 Proving Termination of Context-Sensitive Rewriting with MU-TERM – Beatriz Alarcón, Raúl Gutiérrez, José Iborra, Salvador Lucas - 2007