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)

Related topics

Related topics

15 relations
Abstract rewriting systemChurch–Rosser theoremConstraint Handling RulesCritical pair (logic)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
The Operations-Time Chart: A graphical tool to evaluate the performance of production systems - From batch-and-queue to lean manufacturing
2009
2009
Larvicidal effect of imidacloprid / moxidectin spot-on solution in dogs experimentally inoculated with Angiostrongylus vasorum
A controlled, randomized, blinded dose confirmation study was conducted to evaluate the larvicidal efficacy and safety of… 
2007
2007
Flood frequency and routing processes at a confluence of the middle Yellow River in China
Floods cause environmental hazards and influence on socio‐economic activities. In this study, we evaluated the historic flood… 
Highly Cited
2006
Highly Cited
2006
Intestinal Intraepithelial Lymphocytes Bind to Colon Cancer Cells by HML-1 and CDlla1
Human intraepithelial lymphocytes i ILI i. predominantly CD8 ' T-lymphocytes located between intestinal epithelial cells (EC… 
Highly Cited
2005
Highly Cited
2005
Cyclin D1 Induction through IκB Kinase β/Nuclear Factor-κB Pathway Is Responsible for Arsenite-Induced Increased Cell Cycle G1-S Phase Transition in Human Keratinocytes
Environmental and occupational exposure to arsenite is associated with an increased risk of human cancers, including skin… 
2002
2002
Deciding confluence of certain term rewriting systems in polynomial time
  • Ashish Tiwari
  • Proceedings 17th Annual IEEE Symposium on Logic…
  • 2002
  • Corpus ID: 264713043
We present a polynomial time algorithm for deciding confluence of ground term rewrite systems. We generalize the decision… 
1997
1997
Correlated continuum wave functions for three particles with Coulomb interactions
We present an approximate solution of the Schr{umlt o}dinger equation for the three-body Coulomb problem. We write the… 
1984
1984
Rewriting systems on FP expressions that reduce the number of sequences they yield
In this paper, we are interested in the application of program transformation for minimizing the number of intermediary sequences… 
1984
1984
Platelet-derived Growth Factor-induced Alterations Vinculin and Actin Distribution in Balb/c-3t3 Cells
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
Detection of a PSK signal transmitted through a hard-limited channel
This paper considers the problem of the detection of a binary phase-modulated carrier which has been transmitted along with noise… 
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)