A review of TRS-es

From: Piotr Wyderski (piotr.wyderskiREMOVE_at_wp.pl)
Date: 02/07/04 

Date: Sat, 7 Feb 2004 18:31:54 +0100

Hello,

it's a well-known fact that termination and confluence
are undecidable properties when we have an arbitrary
unrestricted Term Rewriting System. But if we restrict
them somehow, it's often possible to decide at least
one of these properties. And here comes my question:
is there a paper which contains a review of known
TRS classes in respect of their properties? Currently
I'm not looking for a detailed theoretical document,
but rather for a review of such classes, i.e. "restrictions
| a short overview of properties". I need it to eliminate
"dead branches" from my research and focus only on
promising alternatives.

    Best regards
    Piotr Wyderski

Relevant Pages

  • Re: Maximum of Products
    ... not restrict the terms to being integers. ... Maybe someone did, and somehow I ... that rounding 1000/e gives 368.) ... that lies between the integer result above and ...
    (sci.math)
  • Re: what does "is one of degree" mean?
    ... enq wrote: ... "...their aim is to prevent or restrict, ... degree, the review of decisions".. ... but relatively easy to "restrict" review to such an extent ...
    (alt.usage.english)
  • I messed up big time
    ... Okay I screwed up big time. ... I was trying to set up user accounts / groups / ... etc. so I could restrict my users, and somehow I did not set the admin ...
    (microsoft.public.access.formscoding)
  • Re: what does "is one of degree" mean?
    ... "...their aim is to prevent or restrict, ... The expression is saying that preventing review is the same ... degree in terms of their respective blast radii, ...
    (alt.usage.english)
  • Restrict permissions for DVD drive?
    ... I know it's got to be possible, somehow, but is there someone out there that can provide a link that can tell me how to restrict a certain user profile/s from using a DVD drive? ... The mom, of course, wants to be admin, and wants her kids to have limited access, including use of the DVD drive. ...
    (microsoft.public.windowsxp.general)