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

Related topics

Related topics

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Confluence of Orthogonal Nominal Rewriting Systems Revisited
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
Structures for Abstract Rewriting
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
Bidirectional Expansion For Keyword Search on Graph Databases
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
The Graph Rewriting Calculus: Confluence and Expressiveness
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
CONFLUENT HYPERGEOMETRIC FUNCTION IN THE KERNELS
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
A Nominal Theory of Objects with Dependent Types
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
Confluence of Typed Attributed Graph Transformation Systems
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
Monitoring early response of experimental brain tumors to therapy using diffusion magnetic resonance imaging.
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
Polymorphic Rewriting Conserves Algebraic Confluence
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
THE SMOOTH MUSCLE CELL : II. Growth of Smooth Muscle in Culture and Formation of Elastic Fibers
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?