نتایج جستجو برای: ken hyland
تعداد نتایج: 3627 فیلتر نتایج به سال:
In this paper, we consider a general integral operator Gn(z). The main object of the present paper is to study some properties of this integral operator on the classes S∗(α), K(α), M(β), N (β) and KD(μ, β).
Let K be a field and H be a set of hyperplanes in P n(K). When K is a function field, we show that the following are equivalent. (a) H is nondegenerate over K. (b) The height of the (S,H)-integral points of P n(K) − H is bounded. (c) P n K − H is an abc variety. When K is a number field and H is nondegenerate over K, we establish an explicit bound on the number of (S,H)-integral points of P n(K...
Using the principle of subordination, we obtain some inclusion properties of certain subclasses of analytic functions defined by a generalized multiplier transformation. Also inclusion properties of these classes involving the generalized integral operator are obtained. Mathematical Subject Classification: 30C45
In this paper we describe a solution to the problem of proving cut-elimination for FILL, a variant of exponential-free and multiplicative Linear Logic originally introduced by Hyland and de Paiva. In the work of Hyland and de Paiva, a term assignment system is used to describe the intuitionistic character of FILL and a proof of cut-elimination is barely sketched. In the present paper, as well a...
Argumentation / Persuasion / Dynamics Ryuta Arisaka National Institute of Informatics [email protected] Ken Satoh National Institute of Informatics [email protected]
To Ken Kunen on the occasion of his retirement from teaching MSC: primary 54F45 secondary 54C10, 54G05
Guest editors Zhaojun Han, Ruopian Fang, Dewei Chu, Da-Wei Wang and Kostya (Ken) Ostrikov, introduce this Nanoscale Advances themed issue on supercapacitors.
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید