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
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… 
2005
2005
Mach–Zehnder Interferometers Composed of µ-Bends and µ-Branches in a Si Photonic Wire Waveguide
We fabricated compact Mach–Zehnder interferometers consisting of µ-branches and/or µ-couplers in a Si photonic wire waveguide… 
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… 
1998
1998
ARC APPROXIMATION PROPERTY AND CONFLUENCE OF INDUCED MAPPINGS
We say that a continuum X has the arc approximation property if every sub continuum K of X is the limit of a sequence of arcwise… 
1996
1996
A confluent reduction for the λ-calculus with surjective pairing and terminal object
Abstract We exhibit confluent and effectively weakly normalizing (thus decidable) rewriting systems for the full equational… 
1986
1986
Marangoni convection in one- and two-liquids floating zones
T he experiment on Marangoni flows was designed to continue the investigation performed during the first Spacelab mission (SL1… 
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… 
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)