The notion of confluence is prevalent in graph transformation systems (GTS) as well as constraint handling rules (CHR). This work presents a generalized embedding of GTS in CHR that allows to consider strong derivations in confluence analyses. Confluence of a terminating CHR program is decidable, but confluence of a terminating GTS is undecidable. We show that observable confluence in CHR is a ...

Ground confluence of term rewriting systems guarantees that all ground terms are confluent. Recently, interests in proving confluence of term rewriting systems automatically has grown, and confluence provers have been developed. But they mainly focus on confluence and not ground confluence. In fact, little interest has been paid to developing tools for proving ground confluence automatically. W...

Understanding environmental drivers of spatial patterns is an enduring ecological problem that is critical for effective biological conservation. Discontinuities (ecologically meaningful habitat breaks), both naturally occurring (e.g., river confluence, forest edge, dropoff) and anthropogenic (e.g., dams, roads), can influence the distribution of highly mobile organisms that have landor seascap...

We report herein the first description of the physical structure of the aquatic habitats of the Lower Paraguay River along 390 km from Asunción city (Paraguay) to the confluence with the Paraná River. The hierarchical ordination of the Fluvial Hydrosystem Approach (FHA) allowed us to classify the Lower Paraguay as a meandering functional sector where five functional sets were identified: (a) ma...

this study seeks to examine how a company can select the best intermediary for its marketing channels with minimum of criteria and time. a theoretical framework is proposed based on the most important tasks of intermediary and the criteria to measure them. there are four basic tasks and thirty criteria in three independent levels. subsequently, an exploratory case study in iranian food industry...