Similar Items: A bound for Dickson's lemma
- Pumping lemmas for weighted automata
- Resolution Trees with Lemmas: Resolution Refinements that Characterize DLL Algorithms with Clause Learning
- Consistency of circuit lower bounds with bounded theories
- Non-Iterative Square-Wave Modeling of Multistage CMOS Dickson Rectifiers for RF Energy Harvesting
- A Method for Bounding Tail Probabilities
- Bounded degree and planar spectra