نتایج جستجو برای: power-substitution property

تعداد نتایج: 690551  

Journal: :bulletin of the iranian mathematical society 2015
n. ashrafi m. sheibani h. dehghany

in this paper we define a new type of rings ”almost powerhermitian rings” (a generalization of almost hermitian rings) and establish several sufficient conditions over a ring r such that, every regular matrix admits a diagonal power-reduction.

In this paper we define a new type of rings ”almost powerhermitian rings” (a generalization of almost hermitian rings) and establish several sufficient conditions over a ring R such that, every regular matrix admits a diagonal power-reduction.

Journal: :Notre Dame Journal of Formal Logic 1974

2008
Delia Kesner

We study perpetuality in calculi with explicit substitutions having full composition. A simple perpetual strategy is used to define strongly normalising terms inductively. This gives a simple argument to show preservation of β-strong normalisation as well as strong normalisation for typed terms. Particularly, the strong normalisation proof is based on implicit substitution rather than explicit ...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشکده اصول الدین 1393

the present paper deals with criminal issues. for example, legal injunction on the necessity of returning a deposit has a legal nature and legal injunction on the punishment of those who breach the trust has a criminal nature. existing social issues are the basis of classification of some instances into the issue, some of which are based on variation and others on quality. therefore, the motiva...

Journal: :مطالعات حقوق خصوصی 0
علی رضا باریکلو دانشکده حقوق پردیس قم دانشگاه تهران

one of the important subject is the legal status of great dowry; if it is a designated property, the agreement is valid because there is not any limitation on the dowry and spouses can fix it at any amount they may wish in accordance with article 1089 of code civil. if is a general nature property and the husband has the power to deliver it, the agreement is valid but if he has not the power, t...

Journal: :CoRR 2009
Emmanuel Polonowski

In the framework of explicit substitutions there is two termination properties: preservation of strong normalization (PSN), and strong normalization (SN). Since there are not easily proved, only one of them is usually established (and sometimes none). We propose here a connection between them which helps to get SN when one already has PSN. For this purpose, we formalize a general proof techniqu...

Journal: :Bulletin of the American Mathematical Society 1910

2003
DIETER KLEIN RAINER RILLING

It is a question of income. The increase in the global inequality of income distribution has to do with the global distribution of property and property rights. At present the richest 1% of the world’s population has income equal to that of the bottom 57%, in other words, ca. 50 million wealthy people have the same amount of money at their disposal as 2.7 billion poor. The top 10% of the U.S. p...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید