A - B - C - D - E - F - G - H - I - J - K - L - M - N - O - P - Q - R - S - T - U - V - W - X - Y - Z

V

---

• vacuity checking
• Valiant
• Valiant's model
• Valiant-Vazirani Lemma
• valuation
• Value Approximation
• Vandermonde Determinant
• Vandermonde matrix
• vanishing ideals
• Vapnik-Chervonenkis dimension
• Variable and total space
• variable multiple domains
• Variable Ordering
• variable ordering problem for OBDDs
• Variable Space
• variance hypothesis
• varieties
• variety of groups
• VBP
• VC Dimension
• VC-dimension
• vector chromatic number
• Vector Domination
• vector norm
• vector quantization
• verbose
• verifiable computation
• verifiable mathematics
• verification
• verification of computation
• verifier
• verifying proofs
• Vertex Cover
• vertex deletion problems
• vertex-separation number
• vertex-transitive group of automorphisms
• VF
• Visibly counter automata
• visibly pushdown automata
• Visibly Pushdown Languages
• Visual Cryptography
• VLSI
• VNP
• VNP completeness
• VNP-intermediate
• volume computation
• volume sampling
• VP
• VP-completeness

---

ISSN 1433-8092 | Imprint