The unification problem for term rewriting systems (TRSs) is the problem of deciding, for aTFLS $R$ and two terms $s$ and $t$ , whether $s$ and $t$ are unifiable modulo $R$. Mitsuhashi et al. have shown that the problem is decidable for confluent simple TRSs. Here, a TRS is simple if the right-hand side of every rewrite rule is a ground term or a variable. In this paper, we extend this result a...

The term confluent education describes a flowing together of the affective and cognitive elements of learning. Confluent education accords high value to affect because of its core principle that the realization of human potential includes attention to the affective elements of human nature. This article reviews the literature on confluent education, extends a previous introduction of the topic,...

We unveil a universal shear weakening crossover in various two-dimensional confluent models of solids whose energy depends on their shape, via numerical simulations.

A 34 months-old male patient with double inlet right ventricle with nonconfluent pulmonary arteries who underwent successful extracardiac fenestarated Fontan procedure using pre-designed T-shaped PTFE vascular graft after multi-step rehabilitation of the diminutive hilar pulmonary arteries. At first we performed 6 mm confluent pulmonary artery vascular graft implantation with 4 mm BT shunt at p...

This paper explains how to design and implement an extension for by-need synchronization for a confluent (subset of a) multiparadigm concurrent constraint language, while keeping the extended language confluent. It reveals the subtleties and pitfalls that can easily lead to the loss of confluence, especially in languages with a powerful unification operator. The authors report on their own expe...

Combining term rewriting and modal logics, this paper addresses confluence and termination of rewrite systems introduced for only-knowing logics. The rewrite systems contain a rule scheme that gives rise to an infinite number of critical pairs, hence we cannot check the joinability of every critical pair directly, in order to establish local confluence. We investigate conditions that are suffic...