Příklady confluence

• A qualitative physics based on confluences.

• If clerical elites noted the confluence of the two conditions, so did contemporary medics.

• In 1996, a unique confluence of events came together to complete the final transformation of public assistance into labour policy.

• Again, not exchange but a confluence of interest explains the outcome.

• The confluences of several of these streams are within the town's boundaries.

• One may wonder if confluence holds for legal terms.

• We consider that this extended method is a useful tool to obtain confluence when strong normalisation of the subcalculus of substitutions is not available.

• Our correctness proofs exploit a new technique we develop based on the notions of uniform confluence and simulations.

• As in standard term rewriting, we can use local confluence and strong normalisation to prove the confluence of a relation.

• The usual way of proving the decidability of such an equivalence relation is by proving confluence and strong normalisation of the corresponding reduction relation.

• Reduction is still local, but in general, no property of confluence can be expected.

• The problem even exists if we only consider local confluence on ground terms.

• We show that the system enjoys properties like type uniqueness, subject reduction, soundness, confluence, and weak normalization.

• Finally, logarithmic terms may arise through a confluence of forced terms and eigensolutions.

• The pulmonary venous return was unobstructed but drained to a confluence before entering the left sided atrium.