[LIVRE][B] Correctness, completeness, and consistency of equational data type specifications
P Padawitz - 1983 - search.proquest.com
… - 8.5 yields decidable but rather weak completeness criteria. Completeness Thm. 8.16 combines
… the case where E is directly de creasing and ask for absolute E-convergence of SCRIT(…
… the case where E is directly de creasing and ask for absolute E-convergence of SCRIT(…
The Complexity of Weak Consistency
G Liu, X Liu - Frontiers in Algorithmics: 12th International Workshop …, 2018 - Springer
… }\), we denote by \(e_1 \prec _R e_2\) the fact that \((e_1, e_2) \… \), ie, the set of operations
whose effects are visible to \(e\). To … We show this problem is NP-complete by a reduction from …
whose effects are visible to \(e\). To … We show this problem is NP-complete by a reduction from …
On a minimal essentially complete class of experiments
S Ehrenfeld - The Annals of Mathematical Statistics, 1966 - projecteuclid.org
… We say that 8 is essentially complete with respect to 8 when for any e ɛ 8e there exists an
… proper subset of 8 is complete with respect to 8 . We also define a weaker kind of minimality, …
… proper subset of 8 is complete with respect to 8 . We also define a weaker kind of minimality, …
Weak rainbow saturation numbers of graphs
X Li, J Ma, T Xie - arXiv preprint arXiv:2401.11525, 2024 - arxiv.org
… Our second result extends this result form complete graphs to general graphs. In particular,
… G and an edge e ∈ E(G), we use cG(e) to denote the color assigned on e. Given two disjoint …
… G and an edge e ∈ E(G), we use cG(e) to denote the color assigned on e. Given two disjoint …
Idempotent graphs, weak perfectness, and zero-divisor graphs
… A complete graph is a graph in which every pair of distinct vertices is adjacent. A clique in G
is a complete … Since \(1-e\) is always adjacent to e and by assumption, we get \(f=e\). Thus, …
is a complete … Since \(1-e\) is always adjacent to e and by assumption, we get \(f=e\). Thus, …
Isometries of spaces of weak* continuous functions
M Cambern, K Jarosz - Proceedings of the American Mathematical Society, 1989 - ams.org
… space and E* a Banach dual, we denote by C(X, (E*,a*)) … E* contains a dense subset of E2
for all xe 07. Hence for such x we have U(x)E* = E*2 and the proof of the theorem is complete. …
for all xe 07. Hence for such x we have U(x)E* = E*2 and the proof of the theorem is complete. …
Narrow orthogonally additive operators
M Pliev, M Popov - Positivity, 2014 - Springer
… atomless vector lattice \(E\) with the principal projection property to a Dedekind complete
vector lattice \(F\)… Finally AM-compactness is replaced with the weaker notion of C-compactness. …
vector lattice \(F\)… Finally AM-compactness is replaced with the weaker notion of C-compactness. …
Approximation of Müntz-Szász type in weighted spaces
AM Sedletskii - Sbornik: Mathematics, 2013 - iopscience.iop.org
… are described such that this system is complete in $E$ … turn out to be a proper subspace;
in this case there is no sense in discussing whether the system (1.2) is complete in $(E_1,E_2)$ …
in this case there is no sense in discussing whether the system (1.2) is complete in $(E_1,E_2)$ …
Optimal harvesting and complex dynamics in a delayed eco-epidemiological model with weak Allee effects
… and \(E_2^*=(0.8303,0.1176,3.2696)\) is a stable focus as we see that all the trajectories
initiating inside the region of attraction approach toward the equilibrium point \(E_2^*=(0.8303,…
initiating inside the region of attraction approach toward the equilibrium point \(E_2^*=(0.8303,…
Provably secure E-cash system with practical and efficient complete tracing
B Lian, G Chen, J Li - International journal of information security, 2014 - Springer
… Another goal of this paper is to design a complete tracing scheme of E-cash, so loss-coin
tracing is also achieved in this paper. Considering the reality, the bank performs the double-…
tracing is also achieved in this paper. Considering the reality, the bank performs the double-…