The search functionality is under construction.
The search functionality is under construction.

Keyword Search Result

[Keyword] semi-constructor(1hit)

1-1hit
  • The Unification Problem for Confluent Semi-Constructor TRSs

    Ichiro MITSUHASHI  Michio OYAMAGUCHI  Kunihiro MATSUURA  

     
    PAPER-Fundamentals of Information Systems

      Vol:
    E93-D No:11
      Page(s):
    2962-2978

    The unification problem for term rewriting systems (TRSs) is the problem of deciding, for a TRS R and two terms s and t, whether s and t are unifiable modulo R. We have shown that the problem is decidable for confluent simple TRSs. Here, a simple TRS means one where the right-hand side of every rewrite rule is a ground term or a variable. In this paper, we extend this result and show that the unification problem for confluent semi-constructor TRSs is decidable. Here, a semi-constructor TRS means one where all defined symbols appearing in the right-hand side of each rewrite rule occur only in its ground subterms.