„majority quantifier“

Suchergebnisse

2 Treffer

• Dependence logic with a majority quantifier
  Durand, Arnaud ; Ebbing, Johannes ; Kontinen, Juha ; Vollmer, Heribert 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Dependence logic with a majority quantifier
  Durand, Arnaud ; Ebbing, Johannes ; Kontinen, Juha ; Vollmer, Heribert 2011 Gottfried Wilhelm Leibniz Universität Hannover