The Weighted Path Order for Termination of Term Rewriting

The Weighted Path Order for Termination of Term Rewriting

名古屋大学博士学位論文学位の種類:博士(情報科学) 学位授与年月日:2014-09-29

Bibliographic Details
Main Authors:	山田, 晃久, Yamada, Akihisa
Language:	en
Published:	2014
Online Access:	http://hdl.handle.net/2237/20647

Similar Items

Termination and applications of term rewriting systems
by: Mohamed, Hanan A.
Published: (1989)

Decidability of Innermost Termination for Semi-Constructor Term Rewriting Systems
by: UCHIYAMA, Keita, et al.
Published: (2007)

On Proving Termination of Higher-Order Rewrite Systems by Dependency Pair Technique
by: Sakai, Masahiko, et al.
Published: (2002)

On Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems
by: SAKAI, Masahiko, et al.
Published: (2005)

Dynamic order-sorted term-rewriting systems
by: Matthews, Brian Martin
Published: (1996)

Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems
by: Uchiyama, Keita, et al.
Published: (2007)

Termination of canonical context-sensitive rewriting and productivity of rewrite systems
by: Salvador Lucas
Published: (2015-12-01)

Term Graph Rewriting and Parallel Term Rewriting
by: Andrea Corradini, et al.
Published: (2011-02-01)

On New Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems
by: Sakai, Masahiko, et al.
Published: (2001)

An Extension of the Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems
by: SAKAI, Masahiko, et al.
Published: (2001)

Non-simplifying Graph Rewriting Termination
by: Bruno Guillaume, et al.
Published: (2013-02-01)

Narrowing-based Simulation of Term Rewriting Systems with Extra Variables and its Termination Proof
by: Nishida, Naoki, et al.
Published: (2003)

Termination of Rewriting with and Automated Synthesis of Forbidden Patterns
by: Bernhard Gramlich, et al.
Published: (2010-12-01)

On Non-looping Term Rewriting
by: Wang, Yi, et al.
Published: (2006)

Higher-order port-graph rewriting
by: Maribel Fernández, et al.
Published: (2012-11-01)

Higher-order graph rewriting systems
by: Machado, Rodrigo
Published: (2012)

Higher-order graph rewriting systems
by: Machado, Rodrigo
Published: (2012)

Higher-order graph rewriting systems
by: Machado, Rodrigo
Published: (2012)

Rewriting Marpole: The Path to Cultural Complexity in the Gulf of Georgia.
by: Clark, Terence Norman
Published: (2010)

Rewriting Marpole: The Path to Cultural Complexity in the Gulf of Georgia.
by: Clark, Terence Norman
Published: (2010)

An Improved Recursive Decomposition Ordering for Higher-Order Rewrite Systems
by: IWAMI, Munehiro, et al.
Published: (1998)

Complexity Analysis of Precedence Terminating Infinite Graph Rewrite Systems
by: Naohi Eguchi
Published: (2015-05-01)

Higher-order Rewriting for Executable Compiler Specifications
by: Kristoffer H. Rose
Published: (2011-02-01)

Order-sorted equational reasoning and rewrite systems
by: Dick, Alan Jeremy Jeffcoat
Published: (1988)

Extending Context-Sensitivity in Term Rewriting
by: Bernhard Gramlich, et al.
Published: (2010-01-01)

Categorical term rewriting : monads and modularity
by: Lüth, Christoph
Published: (1998)

Behavioural aspects of term-rewriting systems
by: While, Ronald Lyndon
Published: (1988)

Descendants and Head Normalization of Higher-Order Rewrite Systems
by: Kasuya, Hideto, et al.
Published: (2002)

Transformational approach to inverse computation in term rewriting
by: Nishida, Naoki
Published: (2004)

Partial Inversion of Constructor Term Rewriting Systems
by: Nishida, Naoki, et al.
Published: (2005)

Decidability of Reachability for Term Rewriting with Reduction Strategies
by: 小島, 芳治, et al.
Published: (2012)

Productivity of Non-Orthogonal Term Rewrite Systems
by: Matthias Raffelsieper
Published: (2012-04-01)

Term rewriting system models of modern microprocessors
by: Poyneer, Lisa A. (Lisa Ann), 1975-
Published: (2013)

Rewriting and suppressing UMLS terms for improved biomedical term identification
by: Hettne Kristina M, et al.
Published: (2010-03-01)

Transformation for Refining Unraveled Conditional Term Rewriting Systems
by: Nishida, Naoki, et al.
Published: (2007)

Left-Incompatible Term Rewriting Systems and Functional Strategy
by: SAKAI, Masahiko
Published: (1997)

Rewrite
by: Lawyer, Jamie
Published: (2011)

Optimal sharing graphs for substructural higher-order rewriting systems
by: Smith, Connor Lane
Published: (2017)

Semantics-Preserving DPO-Based Term Graph Rewriting
by: Wolfram Kahl, et al.
Published: (2019-02-01)

Confluence of Conditional Term Rewrite Systems via Transformations
by: Karl Gmeiner
Published: (2017-01-01)

Cannot write session to /tmp/vufind_sessions/sess_3ea3r3gp139go0a6h81cmfv99e