階層グラフ書換え言語における並行プロセスの型推論

Then, an algorithm is established as the way of transformation of so called associated matrices, formed as a result of local inspection of patterns, into invariant ones which

The main purpose of this survey is to identify and highlight the discrete inequalities that are connected with (CBS)− inequality and provide refinements and reverse results as well

Instead an elementary random occurrence will be denoted by the variable (though unpredictable) element x of the (now Cartesian) sample space, and a general random variable will

In this paper, we have analyzed the semilocal convergence for a fifth-order iter- ative method in Banach spaces by using recurrence relations, giving the existence and

As Riemann and Klein knew and as was proved rigorously by Weyl, there exist many non-constant meromorphic functions on every abstract connected Rie- mann surface and the compact

Theorem 3.5 can be applied to determine the Poincar´ e-Liapunov first integral, Reeb inverse integrating factor and Liapunov constants for the case when the polynomial

Then, after clarifying the behavior of the maximum degree of the colored Jones polynomial for cables of certain knots in Propo- sition 3.2, we record an explicit proof of the

solenoids, which are the nonsimple noncommutative solenoids, and the only ones of type I, and are fully described as bundles of matrices over a solenoid group; irrational