Skip to search formSkip to main contentSkip to account menu

Rewriting

Known as: Trace rewriting system, Rewrite rules, Rewrite system 
In mathematics, computer science, and logic, rewriting covers a wide range of (potentially non-deterministic) methods of replacing subterms of a… 
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2018
Highly Cited
2018
  • 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… 
Highly Cited
2007
Highly Cited
2007
Lefevere illustrates that translating is just rewriting.In this book he shows us the importance of rewriting and the necessity… 
Review
2002
Review
2002
In this chapter we will present the basic concepts of term rewriting that are needed in this book. More details on term rewriting… 
Review
2002
Review
2002
Unlike current survey articles and textbooks, here the so-called confluence and termination hierarchies play a key role… 
Highly Cited
2000
Highly Cited
2000
Term Rewriting and All That is a self-contained introduction to the field of term rewriting. The book starts with a simple… 
Highly Cited
1998
Highly Cited
1998
We describe a language for defining term rewriting strategies, and its application to the production of program optimizers. Valid… 
Highly Cited
1993
Highly Cited
1993
In this chapter we introduce the string-rewriting systems and study their basic properties. Such systems are the primary subject… 
Highly Cited
1980
Highly Cited
1980
  • 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… 
Highly Cited
1979
Highly Cited
1979
  • 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… 
Highly Cited
1977
Highly Cited
1977
  • 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…