Login / Signup

Relational Properties Expressible with One Universal Quantifier Are Testable.

Charles JordanThomas Zeugmann
Published in: SAGA (2009)
Keyphrases