Lower bounds on type checking overloading
✍ Scribed by Dennis M. Volpano
- Publisher
- Elsevier Science
- Year
- 1996
- Tongue
- English
- Weight
- 439 KB
- Volume
- 57
- Category
- Article
- ISSN
- 0020-0190
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
Let A = (a n,k ) n,k 0 be a non-negative matrix. Denote by L p,q (A) the supremum of those L satisfying AX q L X p (X ∈ p , X 0), and define L (p),q (A) = L p,q (A) (p > 0). We derive a range for the value of L p,q (A NM W ), where 0 < q p < 1 and A NM W denotes the Nörlund matrix associated with th
## Abstract A vertex set __Y__ in a (hyper)graph is called __k__‐independent if in the sub(hyper)‐graph induced by __Y__ every vertex is incident to less than __k__ edges. We prove a lower bound for the maximum cardinality of a __k__‐independent set—in terms of degree sequences—which strengthens an
We give a lower bound on the maximal element in a multiple difference set.