# Confluence (abstract rewriting)

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2015

2015

- RTA
- 2015

Nominal rewriting systems (Fernández, Gabbay & Mackie, 2004; Fernández & Gabbay, 2007) have been introduced as a new framework of… (More)

Is this relevant?

2006

2006

- Journal of Automated Reasoning
- 2006

When rewriting is used to generate convergent and complete rewrite systems in order to answer the validity problem for some… (More)

Is this relevant?

Highly Cited

2005

Highly Cited

2005

- VLDB
- 2005

Relational, XML and HTML data can be represented as graphs with entities as nodes and relationships as edges. Text is associated… (More)

Is this relevant?

2005

2005

- ICTCS
- 2005

Introduced at the end of the nineties, the Rewriting Calculus (ρ-calculus, for short) is a simple calculus that uniformly… (More)

Is this relevant?

Highly Cited

2005

Highly Cited

2005

- 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

- ECOOP
- 2003

We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type… (More)

Is this relevant?

Highly Cited

2002

Highly Cited

2002

- ICGT
- 2002

The issue of confluence is of major importance for the successful application of attributed graph transformation, such as… (More)

Is this relevant?

Highly Cited

1997

Highly Cited

1997

- Clinical cancer research : an official journal of…
- 1997

Quantitative magnetic resonance imaging was performed to evaluate water diffusion and relaxation times, T1 and T2, as potential… (More)

Is this relevant?

1994

1994

- Inf. Comput.
- 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

- 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)

Is this relevant?