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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2005
Highly Cited
2005
This paper presents Disydent, a framework dedicated to system-on-a-chip (SoC) platform-based design for shared memory multiple… 
2005
2005
Singular configurations where a parallel manipulator can lose stiffness are well documented and studied in literature. There… 
Highly Cited
1994
Highly Cited
1994
The objective of this research is to develop a dynamically scaled (Froude scale) helicopter rotor blade with embedded… 
Review
1991
Review
1991
Solving an equation in an algebra of terms is known as uniication. Solving more complex formulas combining equations and… 
Highly Cited
1990
Highly Cited
1990
In this chapter we develop an interpreter of a higher-order constraint logic programming language in Standard ML (SML). The logic… 
Highly Cited
1983
Highly Cited
1983
Summary1.In the cricket,Teleogryllus oceanicns, an identified auditory interneuron, interneuron-1 (int-1), is described… 
Highly Cited
1982
Highly Cited
1982
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
This paper offers a theoretical framework for studying the inter-actions of energy prices and economic growth. The incorporation… 
Highly Cited
1964
Highly Cited
1964
APART from the effects which humic acids have on the physical properties of the soil, such as its structure, permeability and…