Results 11 to 20 of about 30,129 (214)
Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handlers [PDF]
Logical Methods in Computer Science, 2022 We present a new modular proof method of termination for second-order computation, and report its implementation SOL. The proof method is useful for proving termination of higher-order foundational calculi.
Makoto Hamana
doaj +1 more source
Logical Methods in Computer Science, 2021 The recursive path ordering is an established and crucial tool in term rewriting to prove termination. We revisit its presentation by means of some simple rules on trees (or corresponding terms) equipped with a 'star' as control symbol, signifying a ...
Jörg Endrullis +2 more
doaj +1 more source
The Termination of an Employment Contract Initiated by the Employer’s Will
Teisė, 2021 This article systematically analyses new Labour code rules (regulation from July 2017) and the judicial practice of Lithuania relating to the termination of an employment contract initiated by the employer by employer’s will (Labour Code of the Republic ...
Tomas Bagdanskis
doaj +1 more source
Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories [PDF]
Logical Methods in Computer Science, 2010 We present decidability results for termination of classes of term rewriting systems modulo permutative theories. Termination and innermost termination modulo permutative theories are shown to be decidable for term rewrite systems (TRS) whose right-hand ...
Luis Barguno +3 more
doaj +1 more source
CLEI Electronic Journal, 2007 This work presents proof rules for termination and non-termination for a subset of a C-like language that consists of the statements : assignation,composition, if, skip and while and rules for termination of function calls.
Patricia Peratto
doaj +1 more source
Dynamic Dependency Pairs for Algebraic Functional Systems [PDF]
Logical Methods in Computer Science, 2012 We extend the higher-order termination method of dynamic dependency pairs to Algebraic Functional Systems (AFSs). In this setting, simply typed lambda-terms with algebraic reduction and separate {\beta}-steps are considered.
Cynthia Kop, Femke van Raamsdonk
doaj +1 more source
Local Termination: theory and practice [PDF]
Logical Methods in Computer Science, 2010 The characterisation of termination using well-founded monotone algebras has been a milestone on the way to automated termination techniques, of which we have seen an extensive development over the past years.
Joerg Endrullis +2 more
doaj +1 more source
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
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
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