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.
2010
2010
Colloid Micro-Newton Thrusters for the space technology 7 mission
Two flight-qualified clusters of four Colloid Micro-Newton Thruster (CMNT) systems have been delivered to the Jet Propulsion… 
Highly Cited
2009
Highly Cited
2009
Wireless Location Tracking Algorithms for Environments with Insufficient Signal Sources
Location estimation and tracking for the mobile devices have attracted a significant amount of attention in recent years. The… 
2009
2009
A Domain Specific Language for Extracting Models in Software Modernization
Model-Driven Engineering techniques can be used both to create new software and to modernize existing software systems. Model… 
2006
2006
Learning dynamic audio-visual mapping with input-output Hidden Markov models
In this paper, we formulate the problem of synthesizing facial animation from an input audio sequence as a dynamic audio-visual… 
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
2002
Highly Cited
2002
A Plan-Based Personalized Cognitive Orthotic
The majority of reminder systems are inflexible; reminders are issued at static, prespecified times. To be effective, cognitive… 
2001
2001
LETTER TO THE EDITOR: Can quantum chaos enhance the stability of quantum computation?
A combustor for a gas turbine includes a main fuel injector for receiving compressor discharge air and mixing the air with fuel… 
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… 
1994
1994
Junction classification by multiple orientation detection
Junctions of lines or edges are important visual cues in various fields of computer vision. They are characterized by the… 
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… 
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)