Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,397,757 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
(opens in a new tab)
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
2005
Highly Cited
2005
Platform-based design from parallel C specifications
I. Augé
,
F. Pétrot
,
François Donnet
,
P. Gomez
IEEE Transactions on Computer-Aided Design of…
2005
Corpus ID: 18616300
This paper presents Disydent, a framework dedicated to system-on-a-chip (SoC) platform-based design for shared memory multiple…
Expand
2005
2005
Overarching framework for measuring closeness to singularities of parallel manipulators
Philip A. Voglewede
,
I. Ebert‐Uphoff
IEEE Transactions on robotics
2005
Corpus ID: 15426098
Singular configurations where a parallel manipulator can lose stiffness are well documented and studied in literature. There…
Expand
Highly Cited
1994
Highly Cited
1994
Induced strain actuation of composite beams and rotor blades with embedded piezoceramic elements
Peter C. Chen
,
I. Chopra
Smart Structures
1994
Corpus ID: 117566527
The objective of this research is to develop a dynamically scaled (Froude scale) helicopter rotor blade with embedded…
Expand
Review
1991
Review
1991
Disunification: A Survey.
H. Comon
1991
Corpus ID: 118923989
Solving an equation in an algebra of terms is known as uniication. Solving more complex formulas combining equations and…
Expand
Highly Cited
1990
Highly Cited
1990
A Semi-Functional Implementation of a Higher-Order Logic Programming Language
Conal Elliott
,
F. Pfenning
1990
Corpus ID: 54154214
In this chapter we develop an interpreter of a higher-order constraint logic programming language in Standard ML (SML). The logic…
Expand
Highly Cited
1983
Highly Cited
1983
Sensitivity to ultrasound in an identified auditory interneuron in the cricket: a possible neural link to phonotactic behavior
A. Moiseff
,
R. Hoy
Journal of Comparative Physiology
1983
Corpus ID: 82080
Summary1.In the cricket,Teleogryllus oceanicns, an identified auditory interneuron, interneuron-1 (int-1), is described…
Expand
Highly Cited
1982
Highly Cited
1982
Solution of Large Linear Systems of Equations by Conjugate Gradient Type Methods
J. Stoer
International Symposium on Mathematical…
1982
Corpus ID: 118250209
In 1952, Hestenes and Stiefel introduced the conjugate gradient algorithm in their landmark paper [27] as an algorithm for…
Expand
Highly Cited
1980
Highly Cited
1980
Energy and Growth Under Flexible Exchange Rates: A Simulation Study
J. Sachs
1980
Corpus ID: 6317642
This paper offers a theoretical framework for studying the inter-actions of energy prices and economic growth. The incorporation…
Expand
Highly Cited
1970
Highly Cited
1970
Separable Graphs, Planar Graphs and Web Grammars
U. Montanari
Information and Control
1970
Corpus ID: 46731277
Highly Cited
1964
Highly Cited
1964
Oxidation-reduction Potentials and Capillary Activities of Humic Acids
S. Visser
Nature
1964
Corpus ID: 4279371
APART from the effects which humic acids have on the physical properties of the soil, such as its structure, permeability and…
Expand
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)
ACCEPT & CONTINUE