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.
Highly Cited
2009
Highly Cited
2009
Performance bounds for two-way amplify-and-forward relaying
In this paper, the average sum rate of two-way amplify-and-forward (AF) half-duplex relaying system is analyzed. To this end, we… 
Highly Cited
2008
Highly Cited
2008
Fisher Distribution for Texture Modeling of Polarimetric SAR Data
The multilook polarimetric synthetic aperture radar (PolSAR) covariance matrix is generally modeled by a complex Wishart… 
Highly Cited
2004
Highly Cited
2004
Nanoscale Structural and Mechanical Characterization of a Natural Nanocomposite Material: The Shell of Red Abalone
Nanoscale structural and mechanical characterization of the shell of a red abalone has been carried out. Cobble-like polygonal… 
Highly Cited
2003
Highly Cited
2003
A Nominal Theory of Objects with Dependent Types
We design and study vObj, a calculus and dependent type system for objects and classes which can have types as members. Type… 
Highly Cited
2001
Highly Cited
2001
Radiation risk to low fluences of α particles may be greater than we thought
Based principally on the cancer incidence found in survivors of the atomic bombs dropped in Hiroshima and Nagasaki, the… 
Highly Cited
2001
Highly Cited
2001
Stem and root anatomical correlations with life form diversity, ecology, and systematics in Moringa (Moringaceae)
Abstract Four life forms (habits) are identified in the 13 species of Moringa (bottle trees, sarcorhizal trees, slender trees… 
Highly Cited
1998
Highly Cited
1998
Planetary- and Synoptic-Scale Signatures Associated with Central American Cold Surges
Abstract Motivated by outstanding issues from a previous case study of a midlatitude cold surge that affected Mexico and Central… 
Highly Cited
1997
Highly Cited
1997
The 1993 Superstorm Cold Surge: Frontal Structure, Gap Flow, and Tropical Impact
  • DavidM. Tyle
  • 1997
  • Corpus ID: 17437355
In the wake of the eastern United States cyclone of 12‐14 March 1993, a cold surge, originating over Alaska and western Canada… 
Highly Cited
1990
Highly Cited
1990
Univalence of Gaussian and confluent hypergeometric functions
Conditions are determined for the univalence convexity and star- likeness of Gaussian and confluent hypergeometric functions. In… 
Highly Cited
1982
Highly Cited
1982
Confluent and Other Types of Thue Systems
Confluent and other types of finite Thue systems are studied. Sufficlem condmons are developed for every congruence class and… 
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)