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

In this study, extraction of tannic acid using microchannel was investigated. Affective parameters were optimized. Different solvents including buthanol, ethylacetate and n-hexane as organic phase, methanol, propanol, ethanol and water as aqueous phase investigated. Microchannels with different confluence angles and diameters were examined. Microchannels with different confluence angles and dia...

In this invited talk, I will review five basic concepts of Axiomatic Rewriting Theory, an axiomatic and diagrammatic theory of rewriting started 25 years ago in a LICS paper with Georges Gonthier and Jean-Jacques Lévy, and developed along the subsequent years into a full-fledged 2-dimensional theory of causality and residuation in rewriting. I will give a contemporary view on the theory, inform...

Inheritance is an important and widely spread concept enabling the elegant expression of hierarchy in object-oriented software programs or models. It has been defined for graphs and graph transformations enhancing the applicability of this formal technique. Up to now, for the analysis of transformationswith inheritance a flattening constructionhas beenused, which yields all the well-known resul...

the aim of the research is to determine the concept of conflict, conflict management scope and approaches in managerial approaches based on islamic view. to achieve the goal, content analysis has been used. research data was collected from the books and articles in the context of management, human relations and organizational behavior reflecting islamic view. a number of 19 books and articles t...

the armenian-turkish conflict except the disagreement between the two countries has also developed in the regional and international levels. it is becoming the conflict of interests and competition of superpowers in regional and international sphere, which has its great influence on the complication of the process of the conflict between the two countries. taking into consideration the disagree...