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 (opens in a new tab)

Related topics

Related topics

50 relations
Abstract rewriting systemAlgebraic Petri netBinary combinatory logicCompiler

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2018
Review
2018
Multiple-Attribute Text Rewriting
The dominant approach to unsupervised “style transfer” in text is based on the idea of learning a latent representation, which is… 
Highly Cited
2010
Highly Cited
2010
Rewriting Measurement-Based Quantum Computations with Generalised Flow
We present a method for verifying measurement-based quantum computations, by producing a quantum circuit equivalent to a given… 
Highly Cited
2007
Highly Cited
2007
Simrank++: query rewriting through link analysis of the clickgraph (poster)
We focus on the problem of query rewriting for sponsored search. We base rewrites on a historical click graph that records the… 
Highly Cited
2003
Highly Cited
2003
Tissue P systems
Highly Cited
2003
Highly Cited
2003
Controlling Access to Published Data Using Cryptography
Review
2003
Review
2003
AIPS, the VLA, and the VLBA
At this writing, the AIPS package has been in active development and use for over 23 years. It is still the software of choice… 
Review
2002
Review
2002
Advanced Topics in Term Rewriting
Unlike current survey articles and textbooks, here the so-called confluence and termination hierarchies play a key role… 
Highly Cited
2000
Highly Cited
2000
Termination of term rewriting using dependency pairs
Highly Cited
2000
Highly Cited
2000
The Changing Global Economy and the Future of English Teaching
This article analyzes the emergence of a new stage of global capitalism, called informationalism, and its consequences for… 
Highly Cited
1997
Highly Cited
1997
REFEREE: Trust Management for Web Applications
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)