【摘 要】
：
［1］Turing, A. M., On computable numbers, with an application to the Entscheidungsproblem, Proc. Lon. Math.Soc. (2), 1936, 42: 230-265.［2］Turing, A. M., Systems of l
【机 构】
：
1.DepartmentofMathematics
【基金项目】
：
This work was partially supported by NSF Grant DMS-0100035 and New Directions in Theory and Applications of Models of Computation, Grand International Joint Project, No. 60310213 (P. R. China).
论文部分内容阅读
［1］Turing, A. M., On computable numbers, with an application to the Entscheidungsproblem, Proc. Lon. Math.Soc. (2), 1936, 42: 230-265.［2］Turing, A. M., Systems of logic based on ordinals, Proc. Lon. Math. Soc. (2), 1939, 45: 161-228.［3］Post, E. L., Finite
其他文献
Vogan conjectured that the parabolic induction of orbit data is independent of the choice of the parabolic subgroup. In this paper we first give the parabolic i
In this paper,Fucik spectrum,ordinary differential equation theory of Banach spaces and Morse theory are used to study semilinear elliptic boundary value proble
The famous Embrechts-Goldie-Veraverbeke formula shows that, in the classical Cramér-Lundberg risk model, the ruin probabilities satisfy R(x, ∞)～ p-1 e(x) i
A definition of pseudo almost periodic sequence is given and the existence of pseudo al-most periodic seguence to difference equation is studied. Based on these
The sets of the points corresponding to the phase transitions of the Potts model on the diamondhierarchical lattice for antiferromagnetic coupling are studied.
<正>For each point ξ in a CR manifold M of codimension greater than 1, the CR structure of M can be approximated by the CR structure of a nilpotent Lie group G
Volume fraction condition is a true constraint that must be taken into consideration in deducing the thermodynamic restrictions of mixture theory applying the a
Based on the studies on the source regions of a group of coronal mass ejections, we have identified two types of large-scale magnetic structures, and suggested
Let l ≤ q ≤ ∞, 1 - 1/q≤∞,0【p≤∞ and G be a locally compact Vilenkin group. The authors first introduce the general Herz-type Hardy spaces HKqa,p( G) and
One resistive plate chamber made of Chinese materials and one Italian resistive platechamber have been tested in the Gamma Irradiation Facility (GIF) at CERN on