Results 301 to 310 of about 92,734 (332)
Some of the next articles are maybe not open access.

TERM REWRITING SYSTEMS

Universal Algebra and Applications in Theoretical Computer Science, 2018
Exercise 3.1 As proven in the lecture, a finitely branching relation terminates if, and only if, there is a monotone embedding into (N,>). Show that the restriction to finitely branching relations is necessary.
F. Baader
semanticscholar   +1 more source

Rational rewriting

1994
So far, the works in this area have tried to define suitable properties of non-terminating relations in order to guarantee that the intended infinite term can be reached as the limit of w-converging derivations. The main advantage of these approaches is the generality of the framework with respect to the set of infinite definable terms: no a priori ...
INVERARDI, PAOLA   +1 more
openaire   +3 more sources

Rewriting the Soul

, 1997
Some years ago, one could list by name the tiny number of multiple personalities recorded in the history of Western medicine, but today hundreds of people receive treatment for dissociative disorders in every sizeable town in North America.
I. Hacking
semanticscholar   +1 more source

Rewriting

2021
Abstract The chapter surveys all the forms of rewriting in Byzantine literature: copying longer or shorter extracts from an “original” work; drawing on a previous text and adapting it into a new one; providing a new version by reworking an older text in terms of its language, style, and length; and parodying and modifying its literary ...
openaire   +1 more source

Term rewriting and all that

, 1998
F. Baader, T. Nipkow
semanticscholar   +1 more source

Rewriting Shakespeare, Rewriting Ourselves

South Central Review, 1993
Phyllis McBride, Peter Erickson
openaire   +1 more source

Rewriting

2023
Ken Dancyger, Jessie Keyt, Jeff Rush
openaire   +2 more sources

Home - About - Disclaimer - Privacy