Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 231,280,134 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
2009
Highly Cited
2009
Wireless Location Tracking Algorithms for Environments with Insufficient Signal Sources
Po-Hsuan Tseng
,
Kai-Ten Feng
,
Yu-Chiun Lin
,
Chao Chen
IEEE Transactions on Mobile Computing
2009
Corpus ID: 6344824
Location estimation and tracking for the mobile devices have attracted a significant amount of attention in recent years. The…
Expand
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
Review
2000
Review
2000
CAFE: An Industrial-Strength Algebraic Formal Method
K. Futatsugi
,
A. T. Nakagawa
,
T. Tamai
2000
Corpus ID: 60363887
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
Highly Cited
1993
Highly Cited
1993
Computations in APS
A. Letichevsky
,
Julia V. Kapitonova
,
S. V. Konozenko
Theoretical Computer Science
1993
Corpus ID: 16111781
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
1970
Highly Cited
1970
Separable Graphs, Planar Graphs and Web Grammars
U. Montanari
Information and Control
1970
Corpus ID: 46731277
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