a contractual relationship is commonly based on statements, expectations, acts and omissions out of which some will, and others will not, give rise to contractual obligations. to avoid uncertainty as to what is agreed, the contract parties often enter into a written contract that is supposed to express the final agreement between them and prevent the parties from relying on rights and obligatio...

in state-investor dispute, investor tends that umbrella clause transfers all contractual claims to treaty claims. by contracts, state follows narrow interpretation of this clause. up to ilc articles, establishing of responsibility of state for breach of contract requires tow preconditions. first state is merely responsible when state condoct has been of governmental nature and second is that br...

this paper studies the experience of social exclusion in women with hiv. the method research is qualitative research and the technique used to collect data is interview. also, the population is women with hiv in clinique of behavioral sickness counseling in tehran. the sample size is 30 people. research findings indicate that these women have experienced exclusion. also, the results show that s...

In recent years, the call for strong and clear property rights has grown in law and development circles. In the landmark book The Mystery of Capital: Why Capitalism Triumphs in the West and Fails Everywhere Else, de Soto put forth the claim that “strong and clear” property rights, formalized rather than informal, are necessary for economic efficiency and for the protection of the poor, who occu...

We describe ongoing work on the use of subsumption to remove redundant inferences from propositional resolution refutation proofs of the style generated by conflict driven clause learning SAT solvers. This is used for faster LCF-style proof replay in interactive theorem provers. There may also be an application in the extraction of small unsatisfiable cores.