Results 1 to 10 of about 11,775 (92)
Properties of lattices of the existential formulas of Jonsson fragments [PDF]
Қарағанды университетінің хабаршысы. Математика сериясы, 2015 This article is devoted to studying of the properties of model - theoretic concepts of a fragment of the Jonsson sets and their application to the lattices of existential formulas.
A.R. Yeshkeyev, M.T. Kasymetova
doaj +2 more sources
On lattice of existential formulas for fragment of Jonsson set
Қарағанды университетінің хабаршысы. Математика сериясы, 2015 This paper its content associated with the study of model - theoretic properties of Jonsson theories and their semantic models. In particular, considering Jonsson sets concerning of their definable circuit described fragments and their relationship to ...
A.R. Yeshkeyev, O.I. Ulbrikht
doaj +1 more source
A theory of normed simulations [PDF]
, 2002 In existing simulation proof techniques, a single step in a lower-level specification may be simulated by an extended execution fragment in a higher-level one.
Baier C. +24 more
core +13 more sources
Some properties of Morly rank over Jonsson sets
Қарағанды университетінің хабаршысы. Математика сериясы, 2016 This article introduced and discussed the concepts of minimal Jonsson sets and respectively strongly minimal Jonsson sets. On this basis, it introduces the concept of the independence of special subsets of existentially closed submodel of the semantic ...
A.R. Yeshkeyev
doaj +1 more source
The properties of central types with respect to enrichment by Jonsson set
Қарағанды университетінің хабаршысы. Математика сериясы, 2017 The main results of the article are for a new class of theories, namely existential prime strongly convex Jonsson theories. This class is quite broad in terms of algebra, for example it includes the class of all Abelian groups and groups.
A.R. Yeshkeyev
doaj +1 more source
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes [PDF]
, 2013 We present a spectrum of trace-based, testing, and bisimulation equivalences for nondeterministic and probabilistic processes whose activities are all observable.
Bernardo, Marco +2 more
core +2 more sources
Companions of the fragments in the Jonsson enrichment
Қарағанды университетінің хабаршысы. Математика сериясы, 2017 In this article we consider the properties of central types for the existentially prime strongly convex Jonsson theories in some extension. This class of theories is a subclass of a broad class of Jonsson theories.
A.R. Yeshkeyev
doaj +1 more source
Model Checking Linear Logic Specifications [PDF]
, 2003 The overall goal of this paper is to investigate the theoretical foundations of algorithmic verification techniques for first order linear logic specifications.
Bozzano, M., Delzanno, G., Martelli, M.
core +1 more source
The properties of central-orbital types of EPSCJ theories
Қарағанды университетінің хабаршысы. Математика сериясы, 2017 This article, in its content, refers to the study of the theoretical - model properties of the Jonsson theories. A new approach to this study is proposed. As a new notion, the idea of a central - orbital type is used.
A.R. Yeshkeyev
doaj +1 more source
Weak Alternating Timed Automata [PDF]
, 2012 Alternating timed automata on infinite words are considered. The main result is a characterization of acceptance conditions for which the emptiness problem for these automata is decidable.
Igor Walukiewicz +2 more
core +3 more sources