Abstract | ||
---|---|---|
This paper gives an operational semantics of priority term rewriting systems (PRSs) by using conditional systems, whose reduction relation is decidable and stable under substitution. We also define the class of strongly sequential PRSs and show that this class is decidable. Moreover, we show that the index rewriting of strongly sequential PRSs gives a normalizing strategy. |
Year | DOI | Venue |
---|---|---|
1996 | 10.1016/S0304-3975(98)00080-2 | Theoretical Computer Science - Special issue on rewriting techniques and applications |
Keywords | DocType | Volume |
strong sequentiality,priority term rewriting systems,priority term,indexation,operational semantics | Conference | 208 |
Issue | ISSN | ISBN |
1-2 | 0304-3975 | 3-540-61464-8 |
Citations | PageRank | References |
2 | 0.36 | 7 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Masahiko Sakai | 1 | 2 | 0.36 |
Yoshihito Toyama | 2 | 533 | 49.60 |