Results 11 to 20 of about 99,447 (295)
Unification and equation solving in nilpotent groups and monoids [PDF]
, 1991 Unification and equation solving have been considered for groups [44], semigroups [43], abelian groups [39] and abelian semigroups [25], [33], [68], [69]. In this thesis we consider partially commutative groups and monoids. Nilpotency provides us with a
Burke, Edmund Kieran
core +7 more sources
Explanation, unification, and content [PDF]
, 1994 The following is an essay on the notion of scientific explanation as unification. In it a new notion of (logical) content is used to explicate Michael Friedman's notion of "k-atomicity," and to explicate the notion of the surplus content of hypothesis h ...
Gemes, Ken
core +5 more sources
Legal-historical overview of the introduction of suspended sentence in Serbian law [PDF]
Crimen (Beograd), 2023 The paper analyzes the issue of introducing a suspended sentence into Serbian law. Suspended sentencing, as a modern institution of the sociological school and the embodiment of a changed penal philosophy, experienced its expansion in European ...
Gavrilović-Grbović Biljana
doaj +1 more source
Physical Review Letters, 2001 RevTex format, 2 figures, 4 pages, a few new references, no other important change, figures unchanged, version to be published in ...
Chankowski, Piotr H. +3 more
openaire +4 more sources
Revisiting Graph Types in HyperLMNtal: A Modeling Language for Hypergraph Rewriting
IEEE Access, 2021 Hypergraphs are a highly expressive data structure for modeling and programming, for which high-level language constructs are yet to be established. HyperLMNtal is a modeling language based on hypergraph rewriting.
Alimujiang Yasen, Kazunori Ueda
doaj +1 more source
Rethinking church polity structure in pluralism for the 21st century: A case study of the Reformed Churches in South Africa (GKSA) [PDF]
Pharos Journal of Theology, 2022 The rise of neo-radical nationalism, racism and ethnicity in many churches in the 21st century is an unexplainable reality. It is becoming difficult for churches to maintain their denominational identity to a high degree without adjusting its liturgy ...
Rev. Dr. Humphreys Frackson Zgambo
doaj +1 more source
Towards a complete Logical Phonology model of intrasegmental changes
Glossa, 2021 All changes to the internal structure of phonological segments arise from combinations of rules based on two set-theoretic operations: feature deletion by set subtraction and feature insertion by unification.
Charles Reiss
doaj +2 more sources
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
Educational Space of the Union State of Belarus and Russia as a Resource of the Integration and Development of the Eurasian Integration [PDF]
Научно-аналитический вестник Института Европы РАН, 2019 The situation of educational and economic constructs of Western European integration is characterized by the most modern and advanced sixth technological order.
Nikolai Makareev
doaj +1 more source
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