„Descriptive complexity“

Suchergebnisse

109 Treffer

• Dynamic Complexity of Regular Languages: Big Changes, Small Work
  Tschirbs, Felix ; Vortmeier, Nils ; Zeume, Thomas 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Expressive Power of CSP-Quantifiers
  Hella, Lauri 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Cohomology in Constraint Satisfaction and Structure Isomorphism
  Ó Conghaile, Adam 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Theory of Concatenation over Finite Models
  Freydenberger, Dominik D. ; Peterfreund, Liat 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Choiceless Computation and Symmetry: Limitations of Definability
  Pago, Benedikt 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Descriptive Complexity on Non-Polish Spaces II
  Hoyrup, Mathieu 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Dynamic Complexity of Document Spanners
  Freydenberger, Dominik D. ; Thompson, Sam M. 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Descriptive Complexity on Non-Polish Spaces
  Callard, Antonin ; Hoyrup, Mathieu 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Symmetric Computation (Invited Talk)
  Dawar, Anuj 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Counting of Teams in First-Order Team Logics
  Haak, Anselm ; Kontinen, Juha ; Müller, Fabian ; Vollmer, Heribert ; Yang, Fan 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Expressivity Within Second-Order Transitive-Closure Logic
  Ferrarotti, Flavio ; Van den Bussche, Jan ; Virtema, Jonni 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Symmetric Circuits for Rank Logic
  Dawar, Anuj ; Wilsenach, Gregory 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Rewriting Guarded Existential Rules into Small Datalog Programs
  Ahmetaj, Shqiponja ; Ortiz, Magdalena ; Simkus, Mantas 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• An Update on Dynamic Complexity Theory
  Zeume, Thomas 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Another Characterization of the Higher K-Trivials
  Anglès d'Auriac, Paul-Elliot ; Monin, Benoit 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On the First-Order Complexity of Induced Subgraph Isomorphism
  Verbitsky, Oleg ; Zhukovskii, Maksim 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Capturing Logarithmic Space and Polynomial Time on Chordal Claw-Free Graphs
  Grußien, Berit 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Definability by Horn Formulas and Linear Time on Cellular Automata
  Bacquey, Nicolas ; Grandjean, Etienne ; Olive, Frédéric 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Dynamic Complexity under Definable Changes
  Schwentick, Thomas ; Vortmeier, Nils ; Zeume, Thomas 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Height of Piecewise-Testable Languages with Applications in Logical Complexity
  Karandikar, Prateek ; Schnoebelen, Philippe 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik