„pebble games“

Suchergebnisse

14 Treffer

• Color Refinement for Relational Structures
  Scheidt, Benjamin ; Schweikardt, Nicole 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Complexity of Reverse Engineering Problems for Conjunctive Queries
  Barceló, Pablo ; Romero, Miguel 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Pebble Games and Algebraic Proof Systems
  Jaser, Lisa-Marie ; Torán, Jacobo 2024 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
• Reversible Pebble Games and the Relation Between Tree-Like and General Resolution Space
  Torán, Jacobo ; Wörz, Florian 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Reversible Pebble Games and the Relation Between Tree-Like and General Resolution Space
  Torán, Jacobo ; Wörz, Florian
• Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling
  de Rezende, Susanna F. ; Nordström, Jakob ; Meir, Or ; Robere, Robert 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Relating Structure and Power: Comonadic Semantics for Computational Resources
  Abramsky, Samson ; Shah, Nihil 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A More General Theory of Static Approximations for Conjunctive Queries
  Barceló, Pablo ; Romero, Miguel ; Zeume, Thomas 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Improved reversible and quantum circuits for Karatsuba-based integer multiplication
  Parent, Alex ; Roetteler, Martin ; Mosca, Michele 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Parameterized Complexity of Fixed Variable Logics
  Berkholz, Christoph ; Elberfeld, Michael 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Pebble Games and Linear Equations
  Grohe, Martin ; Otto, Martin 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Lower Bounds for Existential Pebble Games and k-Consistency Tests
  Berkholz, Christoph 2013 Universitätsbibliothek der RWTH Aachen