Skip to search formSkip to main contentSkip to account menu

Confluence (abstract rewriting)

Known as: Strong confluence, Strongly confluent, Confluence (disambiguation) 
In computer science, confluence is a property of rewriting systems, describing which terms in such a system can be rewritten in more than one way, to… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
A controlled, randomized, blinded dose confirmation study was conducted to evaluate the larvicidal efficacy and safety of… 
2007
2007
Floods cause environmental hazards and influence on socio‐economic activities. In this study, we evaluated the historic flood… 
Highly Cited
2006
Highly Cited
2006
Human intraepithelial lymphocytes i ILI i. predominantly CD8 ' T-lymphocytes located between intestinal epithelial cells (EC… 
Highly Cited
2005
Highly Cited
2005
Environmental and occupational exposure to arsenite is associated with an increased risk of human cancers, including skin… 
2002
2002
  • Ashish Tiwari
  • 2002
  • Corpus ID: 264713043
We present a polynomial time algorithm for deciding confluence of ground term rewrite systems. We generalize the decision… 
1997
1997
We present an approximate solution of the Schr{umlt o}dinger equation for the three-body Coulomb problem. We write the… 
1984
1984
In this paper, we are interested in the application of program transformation for minimizing the number of intermediary sequences… 
1984
1984
Exposure of BALB/c-3T3 cells (clone A31) to platelet-derived growth factor (PDGF) results in a rapid time-and dose-dependent… 
Highly Cited
1973
Highly Cited
1973
This paper considers the problem of the detection of a binary phase-modulated carrier which has been transmitted along with noise…