Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,794,608 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.
2014
2014
Chiral 2,3-Disubstituted Indolines from Indoles and Aldehydes by Organocatalyzed Tandem Synthesis Involving Reduction by Trichlorosilane
Lin Chen
,
Chao Wang
,
Li Zhou
,
Jian Sun
2014
Corpus ID: 55047396
The organocatalytic trichlorosilane reduction system has been successfully utilized to develop a multi-step tandem approach for…
Expand
2008
2008
Algebraic Joint Zero-Diagonalization and Blind Sources Separation
G. Chabriel
,
J. Barrère
,
N. Thirion-Moreau
,
E. Moreau
IEEE Transactions on Signal Processing
2008
Corpus ID: 5779277
This paper adresses the problem of the joint zero-diagonalization of a given set of matrices. We establish the identiflability…
Expand
2007
2007
About quotient and division of crisp and fuzzy relations
P. Bosc
,
O. Pivert
,
D. Rocacher
Journal of Intelligence and Information Systems
2007
Corpus ID: 23693723
The role and properties of the division are very well known in the context of queries addressed to regular relational databases…
Expand
2006
2006
Research and implementation of a load reduction system for a mine refrigeration system
J. Calitz
2006
Corpus ID: 107460310
Title: Research and implementation of a load reduction system for a mine I refiigerntion system, Author: Jan-Johan Calilz…
Expand
2001
2001
LETTER TO THE EDITOR: Can quantum chaos enhance the stability of quantum computation?
T. Prosen
,
M. Znidaric
2001
Corpus ID: 45641270
A combustor for a gas turbine includes a main fuel injector for receiving compressor discharge air and mixing the air with fuel…
Expand
2000
2000
A hybrid method for clause splitting in unrestricted English texts
Constantin Orasan
2000
Corpus ID: 17286777
It is important to know the structure of the sentence for many NLP tasks. In this paper we propose a hybrid method for clause…
Expand
1998
1998
Satisfiability - Algorithms and Logic
P. Pudlák
International Symposium on Mathematical…
1998
Corpus ID: 729986
We present some recent results on algorithms for satisfiability of k-CNF formulas: fastest probabilistic algorithms. We mention…
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
1987
Highly Cited
1987
Reductive conditional term rewriting systems
J. Jouannaud
,
B. Waldmann
Formal Description of Programming Concepts
1987
Corpus ID: 57760912
A rugged electron beam collector structure for velocity modulation or other high power electron beam vacuum tubes is…
Expand
1983
1983
Chemical modification of acrylamide gels: verification of the role of ionization in phase transitions
D. Nicoli
,
C. Young
,
Toyoichi Tanaka
,
A. Pollak
,
G. Whitesides
1983
Corpus ID: 15682419
(A) membrane nbrane 5; (E) 125 pmol; for nder argon. reduction of 'membranes not detected rrent was ob-ta (line A). !e, the rates…
Expand