Tag
quantifiers
- Sep 18, 2023 Quantifier Scope and Undefined Terms in Requirement Statements Why "all users can see their orders" admits several incompatible readings, how scope ambiguity survives review, and what a rewrite into explicit quantifiers costs. software engineering
- Jan 3, 2022 Alternation and the Structure of the Polynomial Hierarchy How stacking existential and universal quantifiers over polynomial-length certificates produces a hierarchy of classes, why it collapses if any two levels coincide, and what complete problems look like at each level. computation theory