Results 31 to 40 of about 33,744 (283)
The Consequences of issuance and nullification of tenant discharge verdict according to lessor and lessee relations Act 1978 [PDF]
Faṣlnāmah-i Pizhūhish-i Huqūq-i Khuṣūṣī, 2020 According to lessor and lessee relations Act 1978 and about hire rules, there are different and special sentences in comparison to civil law in Iran; one of these distinctions announces court based hire termination has different effects and consequences.
Pejman Mohamadi
doaj +1 more source
Maximum density rule for bulk terminations of quasicrystals [PDF]
Physical Review B, 2004 Bravais' rule, of wide validity for crystals, states that their surfaces correspond to the densest planes of atoms in the bulk. Comparing a theoretical model of icosahedral Al-Pd-Mn with experimental results on sputter-annealed surfaces, we find that this correspondence breaks down, i.e., the surfaces parallel to the densest planes in the model are not
Z. Papadopolos +6 more
openaire +3 more sources
Non-simplifying Graph Rewriting Termination [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 So far, a very large amount of work in Natural Language Processing (NLP) rely on trees as the core mathematical structure to represent linguistic informations (e.g. in Chomsky's work).
Bruno Guillaume, Guillaume Bonfante
doaj +1 more source
Third-party litigation in two legal systems of Iran and France [PDF]
پژوهشنامه حقوق تطبیقی, 2022 The deadline for a third-party litigation in Iran is until the end of the first hearing, while in France until the end of the investigation .Third-party involvement in the appeal stage is one of the exceptions to the principle of prohibition of ...
Majid Aziziyani, Siamak RahPeik
doaj +1 more source
The hierarchy of consumer rights in the event of a lack of conformity of the goods in Slovenian, Croatian, and Serbian law [PDF]
Zbornik Radova: Pravni Fakultet u Novom Sadu, 2023 This paper aims to compare the remedies at the consumer's disposal in the event of a lack of conformity of goods in Slovenian, Croatian, and Serbian law.
Dudás Attila I., Jokanović Ivan M.
doaj
A method of marks and indices for linear modal logic
Lietuvos Matematikos Rinkinys, 2009 In the paper a method to check termination of history-free proof for linear modal logic S4.3 is proposed. This method improves the method proposed by the authors for modal logic S4.
Regimantas Pliuškevičius +1 more
doaj +1 more source
Handling termination in a logical language for active rules
Informatica, 1998 Summary: Statelog is a Datalog extension integrating the declarative semantics of deductive rules with the possibility to define updates in the style of active and production rules. The language is surprisingly simple, yet captures many essential features of active rules. After reviewing the basics of active rules, production rules, and deductive rules,
Ludäscher, Bertram, Lausen, Georg
openaire +2 more sources
Determinants of Termination of Anti-dumping Measures: The Case of Korea
East Asian Economic Review, 2022 This paper empirically examines what factors affected the termination of anti-dumping measures in Korea during the 2006-2019 period. Employing a meticulous literature review, the paper investigates the WTO’s and Korea’s rules on the termination of anti ...
Jin Woo Rhee, Yong Joon Jang
doaj +1 more source
Homeomorphic Embedding for Online Termination of Symbolic Methods
, 2002 Well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure the termination of techniques for program analysis, specialisation, transformation, and verification. In this paper we survey and discuss this use of
Michael Leuschel, Leuschel, Michael
core +1 more source
Interval Term Rewriting System: Toward A Formal Model for Interval Computation
Trends in Computational and Applied Mathematics, 2006 We present a term rewriting system for interval arithmetic (addition, subtraction and multiplication), toward a mathematical model for interval compu- tation.
A.X. Carvalho, R.H.N. Santiago
doaj +1 more source