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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Nominal rewriting systems (Fernández, Gabbay & Mackie, 2004; Fernández & Gabbay, 2007) have been introduced as a new framework of… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
Is this relevant?
2006
2006
When rewriting is used to generate convergent and complete rewrite systems in order to answer the validity problem for some… (More)
  • figure 1
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… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2005
2005
Introduced at the end of the nineties, the Rewriting Calculus (ρ-calculus, for short) is a simple calculus that uniformly… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2005
Highly Cited
2005
The object of this paper is to solve a fractional integro-differential equation involving a generalized Lauricella confluent… (More)
Is this relevant?
Highly Cited
2003
Highly Cited
2003
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2002
Highly Cited
2002
The issue of confluence is of major importance for the successful application of attributed graph transformation, such as… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Quantitative magnetic resonance imaging was performed to evaluate water diffusion and relaxation times, T1 and T2, as potential… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1994
1994
We study combinations of many-sorted algebraic term rewriting systems and polymorphic lambda term rewriting. Algebraic and lambda… (More)
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… (More)
  • figure 1
  • figure 3
  • figure 6
  • figure 8
Is this relevant?