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.
2012
2012
A data-centric approach to synchronization
Concurrency-related errors, such as data races, are frustratingly difficult to track down and eliminate in large object-oriented… 
2011
2011
A COMMUNITY-BASED STUDY ON AWARENESS AND PERCEPTION ON GENDER DISCRIMINATION AND SEX PREFERENCE AMONG MARRIED WOMEN (IN REPRODUCTIVE AGE-GROUP) IN A RURAL POPULATION OF DISTRICT BAREILLY UTTAR…
Background: Skewed sex ratio is an issue of major concern. The problem is getting worse with the misuse of technology that… 
2007
2007
About quotient and division of crisp and fuzzy relations
The role and properties of the division are very well known in the context of queries addressed to regular relational databases… 
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… 
2002
2002
On Families of Graphs Having a Decidable First Order Theory with Reachability
We consider a new class of infinite graphs defined as the smallest solution of equational systems with vertex replacement… 
2001
2001
Gathering Knowledge for a Question Answering System from Heterogeneous Information Sources
Although vast amounts of information are available electronically today, no effective information access mechanism exists to… 
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… 
1998
1998
Satisfiability - Algorithms and Logic
We present some recent results on algorithms for satisfiability of k-CNF formulas: fastest probabilistic algorithms. We mention… 
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… 
1991
1991
Bidirectional Parsing of Lexicalized Tree Adjoining Grammars
In this paper a bidirectional parser for Lexicalized Tree Adjoining Grammars will be presented. The algorithm takes advantage of… 
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)