uterine lymphoma is a rare disease therefore, information regarding histologic type, immunophenotype of tumor cells and etiologic factors are limited. although secondary involvement of the genital tract occurs in up to 40% of cases• of disseminated lymphoma, lymphoma presenting with primary female genital tract . symptomatology is very unusual. we report a case of b-cell lymphoma in the uterine...

A {calculus semantics of terms and logical variables, environment creation visavis term copying and variable refreshing, and sequential uniication is presented. The {calculus's object{oriented approach to modelling evolving communication structures is used to model the evolving communication environment found in concurrent logic program computations. The novelty of this semantics is that it exp...

Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of the occurs-check) and increased expressivity. Note that cyclic terms can provide a very efficient representation of grammars and other useful objects. Unfortunately, the use of infinite rational trees has problems. For instance, m...

38 and the rich amount of interesting relationships between them, are now well-understood (e.g., Co83, Ma88]). We believe that free amalgamation, rational amalgamation and a further construction called \innnite amalgamation" (still to be investigated) reeect this role on the higher level of amalgamation constructions. Many of the results that we have obtained for free and rational amalgamation ...

Logic languages based on the theory of rational, possibly infinite, trees have muchappeal in that rational trees allow for faster unification (due to the safe omission ofthe occurs-check) and increased expressivity (cyclic terms can provide very efficientrepresentations of grammars and other useful objects). Unfortunately, the use ofinfinite rational trees has problems. For inst...

For programming languages based on logic, a knowledge of variable sharing is important; for instance, for their automatic parallelization and for many optimizations of the unification procedure, such as occurs-check reduction. Because of its usefulness, a considerable amount of research has been done on the design and development of techniques for the static analysis of variable sharing. Despit...

high temperatures are often encountered in almost all of the combustion systems, therefore, thermal radiation heat transfer can influence the droplets heat up rate and consequently their life time. in this paper, the effect of thermal radiation heat transfer is investigated for two cases of directional and spherically symmetric illuminations. the flow and temperature fields insdie and outside o...

A well known problem of most Prolog interpreters and compilers is the lack of occur-check in the implementation of the uniication algorithm. This means that such systems are unsound with respect to rst-order predicate logic. Static analysis ooers an appealing approach to the problem of occur-check reduction, that is, how to safely omit occur-checks in uniication. We compare, for the rst time, t...