„finite variable logics“

Suchergebnisse

9 Treffer

• Bounded Variable Logics and Counting – A Study in Finite Models
  Otto, Martin 1997 Springer Berlin Heidelberg
• Finite Variable Counting Logics with Restricted Requantification
  Raßmann, Simon ; Schindling, Georg ; Schweitzer, Pascal 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Quantifiers Closed Under Partial Polymorphisms
  Dawar, Anuj ; Hella, Lauri 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Expressive Power of CSP-Quantifiers
  Hella, Lauri 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Deep Dive into the Weisfeiler-Leman Algorithm (Invited Talk)
  Grohe, Martin 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• How Many Variables Are Needed to Express an Existential Positive Query?
  Bova, Simone ; Chen, Hubie 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Bounds for the quantifier depth in finite-variable logics: Alternation hierarchy
  Berkholz, Christoph ; Krebs, Andreas ; Verbitsky, Oleg 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Pebble Games and Linear Equations
  Grohe, Martin ; Otto, Martin 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Bounded variable logics and counting – a study in finite models
  Otto, Martin 1997 Springer