Decidability of Reachability for Term Rewriting with Reduction Strategies

Decidability of Reachability for Term Rewriting with Reduction Strategies

名古屋大学博士学位論文学位の種類 : 博士(情報科学)(課程) 学位授与年月日:平成24年3月26日

Bibliographic Details
Main Authors:	小島, 芳治, Kojima, Yoshiharu
Language:	en
Published:	2012
Online Access:	http://hdl.handle.net/2237/17961

Similar Items

Reachability games with counters : decidability and algorithms
by: Reichert, Julien
Published: (2015)

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

Deciding Reachability for 3-Dimensional Multi-Linear Systems
by: Olga Tveretina, et al.
Published: (2011-06-01)

Verification of networks of communicating processes : Reachability problems and decidability issues
by: Rezine, Othmane
Published: (2017)

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

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

Strategy Independent Reduction Lengths in Rewriting and Binary Arithmetic
by: Hans Zantema
Published: (2012-04-01)

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

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

On the reconfiguration and reachability of chains
by: Pei, Naixun.
Published: (1996)

Optimal Strategies in Infinite-state Stochastic Reachability Games
by: Václav Brožek
Published: (2011-06-01)

Constraint-based reachability
by: Arnaud Gotlieb, et al.
Published: (2013-02-01)

REACHABLE REGIONS AND THEIR APPLICATIONS
by: MAY, CURTIS L.
Published: (2007)

Reinforcing Reachable Routes
by: Thirunavukkarasu, Muthukumar
Published: (2011)

A Methodology of Rewriting Orchestral Reductions for Piano
Published: (2012)

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)

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

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

Rewriting formalisms with binding support : comparing combinatory reduction systems and nominal rewrite systems with atom substitution
by: Dominguez Alvarez, Jesus
Published: (2017)

An Algorithm of Recognizing Unbounded Petri Nets With Semilinear Reachability Sets and Constructing Their Reachability Trees
by: Dan You, et al.
Published: (2018-01-01)

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)

The Weighted Path Order for Termination of Term Rewriting
by: 山田, 晃久, et al.
Published: (2014)

A novel term rewriting strategy for certain hierarchical AC-algebraic systems
by: Okoli, Ifeyinwa
Published: (1989)

Affordance for visually estimating reachability
by: Yen, Hsiao-Pu, et al.
Published: (2010)

Reachability Analysis of Sequential Circuits
by: Jung-Tai Tsai, et al.
Published: (2007)

Eternal Domination: Criticality and Reachability
by: Klostermeyer William F., et al.
Published: (2017-02-01)

Reachability Testing with Java Monitor
by: Heng-Yi Lin, et al.
Published: (2011)

Reachability in K-Colored Tournaments
Published: (2011)

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

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

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

Why We Decide Not to Decide
by: Otto, Ashley S.
Published: (2016)

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

A rewriting point of view on strategies
by: Hélène Kirchner
Published: (2013-03-01)

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

Rewrite
by: Lawyer, Jamie
Published: (2011)

Property Directed Reachability with InterpolationRefinement
by: Shih-Yu Chuang, et al.
Published: (2019)

Adding Edges for Maximizing Weighted Reachability
by: Federico Corò, et al.
Published: (2020-03-01)