Keyword:quantifiers

Papers
The Interpretation of Negated Quantifiers in Spanish Tania Barberán-Recalde In:Professional and Academic Discourse: an Interdisciplinary Perspective
Reasoning with Triggers Claire Dross, Sylvain Conchon, Johannes Kanig and Andrei Paskevich In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories