Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
Production rates obtained from a detailed chemical mechanism are analyzed in order to quantify the coupling between the various… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Inspired by recent work on normalisation by evaluation for sums, we propose a normalising and confluent extensional rewriting… Expand
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Relational, XML and HTML data can be represented as graphs with entities as nodes and relationships as edges. Text is associated… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Nanoscale structural and mechanical characterization of the shell of a red abalone has been carried out. Cobble-like polygonal… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2003
Highly Cited
2003
We design and study vObj, a calculus and dependent type system for objects and classes which can have types as members. Type… Expand
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2001
Highly Cited
2001
  • H. Zhou, M. Suzuki, +5 authors T. Hei
  • Proceedings of the National Academy of Sciences…
  • 2001
  • Corpus ID: 54928553
Based principally on the cancer incidence found in survivors of the atomic bombs dropped in Hiroshima and Nagasaki, the… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Introduction to the Theory. First Steps. What is an Extrapolation Method? What is an Extrapolation Algorithm? Quasi-linear… Expand
Is this relevant?
Highly Cited
1990
Highly Cited
1990
The properties of the series are studied for both bounded and unbounded random variables. The technique is used to find efficient… Expand
  • figure 1
  • figure 2
  • table I
  • figure 3
  • figure 5
Is this relevant?
Highly Cited
1987
Highly Cited
1987
Abstract Fluid flow and heat transfer at the interface region are analyzed in depth for three general and fundamental classes of… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1971
Highly Cited
1971
Smooth muscle derived from the inner media and intima of immature guinea pig aorta were grown for up to 8 wk in cell culture. The… Expand
  • figure 1
  • figure 3
  • figure 6
  • figure 8
Is this relevant?