confluence

Examples of confluent

confluent
The call-byneed lambda calculus is confluent, has a notion of standard reduction, and entails the same observational equivalence relation as the call-by-name calculus.
These cultures form a confluent layer of astrocytes on top of which oligodendrocyte precursors and microglia grow.
We show that the g -calculus, under suitable linearity conditions, is confluent.
The key property of interaction nets, besides locality of reduction, is that reduction is strongly confluent.
However, the resulting grammar need not be confluent, and may generate more hypergraphs than the original grammar.
The pulmonary arteries were confluent, with severe hypoplasia of the right pulmonary artery, which measured about 1.5 mm in diameter.
The following notation will allow us to present in a compact formalism the resulting weakly confluent reduction system.
The last two rules are not confluent, and correspond exactly to non-deterministic choice.
If the rewrite system is not confluent, different normal forms, when they exist, may be considered as relevant results of the computation.
We first define 0 and its admissible expressions and show that the restriction of 0 to admissible expressions is uniformly confluent.
Their appearance may be described as smooth/confluent or irregular.
Note that this new transformation system is not confluent any more!
A general theory of confluent rewriting systems for logic programming and its applications.
Cut-elimination for lazy proof-nets is confluent and strongly normalising.
He had double outlet right ventricle, subaortic ventricular septal defect, pulmonary atresia, small patent arterial duct and confluent but small pulmonary arteries.
These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors.