[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 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 …

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, …

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 eE(G), we use cG(e) to denote the color assigned on e. Given two disjoint …

Idempotent graphs, weak perfectness, and zero-divisor graphs

A Patil, PS Momale - Soft Computing, 2021 - Springer
… 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, …

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. …

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. …

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)$ …

Optimal harvesting and complex dynamics in a delayed eco-epidemiological model with weak Allee effects

S Biswas, SK Sasmal, S Samanta, M Saifuddin… - Nonlinear …, 2017 - Springer
… 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,…

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-…