Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,765,533 papers from all fields of science
Search
Sign In
Create Free Account
Rewriting
Known as:
Trace rewriting system
, Rewrite rules
, Rewrite system
Expand
In mathematics, computer science, and logic, rewriting covers a wide range of (potentially non-deterministic) methods of replacing subterms of a…
Expand
Wikipedia
Create Alert
Alert
Related topics
Related topics
50 relations
Abstract rewriting system
Algebraic Petri net
Binary combinatory logic
Compiler
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2018
Highly Cited
2018
Term Rewriting Systems
J. Klop
Universal Algebra and Applications in Theoretical…
2018
Corpus ID: 61979323
From the Publisher: This book, the first on the subject in English, gives a readable but rigorous introduction to the theory of…
Expand
Highly Cited
2007
Highly Cited
2007
On Translation,Rewriting and the Manipulation of Literary Fame
Chu Ya-ping
2007
Corpus ID: 57246149
Lefevere illustrates that translating is just rewriting.In this book he shows us the importance of rewriting and the necessity…
Expand
Review
2002
Review
2002
Term Rewriting Systems
E. Ohlebusch
2002
Corpus ID: 60672302
In this chapter we will present the basic concepts of term rewriting that are needed in this book. More details on term rewriting…
Expand
Review
2002
Review
2002
Advanced Topics in Term Rewriting
E. Ohlebusch
Springer New York
2002
Corpus ID: 39474256
Unlike current survey articles and textbooks, here the so-called confluence and termination hierarchies play a key role…
Expand
Highly Cited
2000
Highly Cited
2000
Term rewriting and all that
Chang Liu
SOEN
2000
Corpus ID: 9343704
Term Rewriting and All That is a self-contained introduction to the field of term rewriting. The book starts with a simple…
Expand
Highly Cited
1998
Highly Cited
1998
Building program optimizers with rewriting strategies
E. Visser
,
Zine-El-Abidine Benaissa
,
A. Tolmach
ICFP '98
1998
Corpus ID: 2229500
We describe a language for defining term rewriting strategies, and its application to the production of program optimizers. Valid…
Expand
Highly Cited
1993
Highly Cited
1993
String-Rewriting Systems
R. V. Book
,
F. Otto
Text and Monographs in Computer Science
1993
Corpus ID: 1414442
In this chapter we introduce the string-rewriting systems and study their basic properties. Such systems are the primary subject…
Expand
Highly Cited
1980
Highly Cited
1980
Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
G. Huet
J. ACM
1980
Corpus ID: 10264997
This paper gives new results, and presents old ones m a umfied formahsm, concerning ChurchRosser theorems for rewrmng systems…
Expand
Highly Cited
1979
Highly Cited
1979
Orderings for term-rewriting systems
N. Dershowitz
20th Annual Symposium on Foundations of Computer…
1979
Corpus ID: 1004651
Methods of proving that a term-rewriting system terminates are presented. They are based on the notion of "simplification…
Expand
Highly Cited
1977
Highly Cited
1977
Conflunt reductions: Abstract properties and applications to term rewriting systems
G. Huet
18th Annual Symposium on Foundations of Computer…
1977
Corpus ID: 206558490
This paper gives new results, and presents old ones in a unified formalism, concerning Church-Rosser theorems for rewriting…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
,
Terms of Service
, and
Dataset License
ACCEPT & CONTINUE