Results 11 to 20 of about 10,419 (259)
A Decision Procedure for Separation Logic in SMT [PDF]
CoRR, 2016 22 ...
Andrew Reynolds 0001 +2 more
openaire +3 more sources
Alogisms in criminal procedural legislation
Проблеми Законності, 2017 The article is devoted to the definition of the characteristic signs of legislative defects, which are caused by violations of the rules of logic, and find a negative reflection on the conceptual-categorical apparatus of the criminal procedural ...
Олена Анатоліївна Лейба
doaj +1 more source
First-Order and Temporal Logics for Nested Words [PDF]
Logical Methods in Computer Science, 2008 Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure of parse trees and other tree-structured data, such as XML.
Rajeev Alur +5 more
doaj +1 more source
SoftwareX, 2021 Executable HTML is a collection of custom HTML elements that offer document authors the ability to write and execute procedural logic in HTML5. We discuss the motivation of this approach, which lies in the composition of formal Ambulatory Assessment ...
Nikolaos Batalas +2 more
doaj +1 more source
THE LEGAL NATURE OF THE PERIOD FOR APPLYING TO THE COURT FOR ADMINISTRATIVE PROCEEDINGS
Правовое государство: теория и практика, 2022 In cases of administrative proceedings in courts of general jurisdiction and in arbitration courts, a general period of three months is established for an application to the court to challenge unlawful acts of authorities.
YUDIN Andrey Vladimirovich
doaj +1 more source
Procedural Budgeting: A Normative Approach to the Role of the Public Budgeting in Construction the Future Reality [PDF]
حکمرانی و توسعه, 2021 Budgeting can be treated as the heart of public policy-making process, because it involves choosing the ends and tools for achieving them, dividing the financial and economic resources of the community between the public and private sectors, and ...
Miryaghob Seyed rezaei +1 more
doaj +1 more source
Procedural problems in the consideration of climate protection cases [PDF]
E3S Web of Conferences, 2023 The number of disputes initiated by organisations, public associations and citizens trying to fight for climate justice and carbon neutrality is growing every year in the world.
Strugovets Liliya
doaj +1 more source
APPEAL RATE, REVERSAL RATE AND JUDICIAL EFFICIENCY
Revista Eletrônica do Curso de Direito da UFSM, 2019 The present paper explores how a study of the appealability rate and the reversal rate of a given court can reveal the procedural dynamics in any jurisdiction and point out solutions to improve the performance of the public adjudicative service.
Ivo Teixeira Gico Junior +1 more
doaj +1 more source
A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING
International Journal of Foundations of Computer Science, 2004 In this paper, we propose a new resolution proof procedure for the branching-time logic programming language Cactus. The particular strength of the new proof procedure, called CSLD-resolution, is that it can handle, in a more general way, open-ended queries, i.e.
Gergatsoulis, M., Nomikos, C.
openaire +2 more sources
Dual logic and rule-based mechanism for assessing the governance of state-owned natural resource assets [PDF]
Ziyuan Kexue[Objective] Under the entrusted agency mechanism for the ownership of state-owned natural resource assets, local governments assume dual responsibilities as owner agents and public regulators.
DILISHATI Yakufu, CAO Na, WAN Jie
doaj +1 more source