Results 21 to 30 of about 384,748 (295)
Bulletin of the Section of Logic, 2022 This paper proposes a semantic description of the linear step-like temporal multi-agent logic with the universal modality \(\mathcal{LTK}.sl_U\) based on the idea of non-reflexive non-transitive nature of time.
Stepan I. Bashmakov, Tatyana Yu. Zvereva
doaj +1 more source
Bisimulation by Unification* [PDF]
, 2002 We propose a methodology for the analysis of open systems based on process calculi and bisimilarity. Open systems are seen as coordinators (i.e. terms with place-holders), that evolve when suitable components (i.e. closed terms) fill in their place-holders. The distinguishing feature of our approach is the definition of a symbolic operational semantics
BALDAN P, BRACCIALI A, BRUNI, ROBERTO
openaire +2 more sources
Proceedings of the eighth annual ACM symposium on Theory of computing - STOC '76, 1976 AbstractA unification algorithm is described which tests a set of expressions for unifiability and which requires time and space which are only linear in the size of the input.
Mike Paterson, Mark N. Wegman
openaire +1 more source
Physics Letters B, 1997 12 pages, LateX, no ...
Ghilencea, D, Lanzagorta, M, Ross, G
openaire +2 more sources
INTERNATIONAL FINANCIAL ACTIVITIES: ACCOUNTING, TAXATION AND INSURANCE
Baltic Journal of Economic Studies, 2022 The need for the study of international financial relations is justified by the lack of modern scientific discourses on the methods of regulation of financial tensions in the new epidemiological conditions of business environment and appropriate ...
Tetyana Calinescu +2 more
doaj +1 more source
Гуманитарные и юридические исследования, 2023 Introduction. Today, it is impossible to imagine modern society without digital technologies. The introduction of such technologies has also affectedthe sphere of law, in which digitalization has become the formative legal basis of society.
A. A. Chomaev
doaj +1 more source
Systematic review of evidence on public health in the Democratic People’s Republic of Korea
BMJ Global Health, 2019 Background Engaging in public health activities in the Democratic People’s Republic of Korea (DPRK, also known as North Korea) offers a means to improve population health for its citizens and the wider region. Such an engagement requires an understanding
Rifat Atun +12 more
doaj +1 more source
Theoretical Computer Science, 2003 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Christian Urban +2 more
openaire +1 more source
Dagestan national clothes as an attribute of rural everyday life. 1920–1960s
Вестник Майкопского государственного технологического университета, 2023 The relevance of the research topic is due to the growing interest in everyday culture. A suit is one of the most necessary elements of everyday life for a person, constantly present in material culture at all times.
Madina Magomedovna Amirkhanova
doaj +1 more source
In-group Unity in Anglophone Cameroon's Separatist Discourse. Strategies and Means of Realization
Modern Africa, 2023 The present paper is the result of a scientific venture into the discursive construction of separatism in Cameroon’s English-speaking regions, which separatists refer to as Southern Cameroons or Ambazonia.
Raymond Echitchi
doaj +1 more source