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.
Highly Cited
2005
Highly Cited
2005
Platform-based design from parallel C specifications
This paper presents Disydent, a framework dedicated to system-on-a-chip (SoC) platform-based design for shared memory multiple… 
Highly Cited
2004
Highly Cited
2004
Palimpsest or Potential Space? Finding a Vocabulary for Site-Specific Performance
A recent preoccupation with space and place has drawn together theorists and workers in a wide range of disciplines, including… 
Review
2000
Review
2000
Correlation and coherence in quantum-dot cellular automata
by Géza Tóth In this thesis we investigate the role of correlation and coherence in two pos realizations of Quantum-dot Cellular… 
Highly Cited
1994
Highly Cited
1994
Induced strain actuation of composite beams and rotor blades with embedded piezoceramic elements
The objective of this research is to develop a dynamically scaled (Froude scale) helicopter rotor blade with embedded… 
Review
1991
Review
1991
Disunification: A Survey.
Solving an equation in an algebra of terms is known as uniication. Solving more complex formulas combining equations and… 
Highly Cited
1988
Highly Cited
1988
On Word Problems in Horn Theories
Highly Cited
1983
Highly Cited
1983
Sensitivity to ultrasound in an identified auditory interneuron in the cricket: a possible neural link to phonotactic behavior
Summary1.In the cricket,Teleogryllus oceanicns, an identified auditory interneuron, interneuron-1 (int-1), is described… 
Highly Cited
1982
Highly Cited
1982
Solution of Large Linear Systems of Equations by Conjugate Gradient Type Methods
In 1952, Hestenes and Stiefel introduced the conjugate gradient algorithm in their landmark paper [27] as an algorithm for… 
Highly Cited
1980
Highly Cited
1980
Energy and Growth Under Flexible Exchange Rates: A Simulation Study
This paper offers a theoretical framework for studying the inter-actions of energy prices and economic growth. The incorporation… 
Highly Cited
1970
Highly Cited
1970
Separable Graphs, Planar Graphs and Web Grammars
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)