„Monadic second-order logic“

Suchergebnisse

1.000+ Treffer

• Compound Logics for Modification Problems
  Fomin, Fedor V. ; Golovach, Petr A. ; Sau, Ignasi ; Stamoulis, Giannos ; Thilikos, Dimitrios M. 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Datalog-Expressibility for Monadic and Guarded Second-Order Logic
  Bodirsky, Manuel ; Knäuer, Simon ; Rudolph, Sebastian 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Strategy for Dynamic Programs: Start over and Muddle Through
  Datta, Samir ; Mukherjee, Anish ; Schwentick, Thomas ; Vortmeier, Nils ; Zeume, Thomas 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Automata Theory and Logic
  Lange, Martin 2025 Springer Vieweg
• Multi-weighted Automata Models and Quantitative Logics
  Perevoshchikov, Vitaly ; Droste, Manfred ; Gastin, Paul 2015 Universitätsbibliothek Leipzig
• Automata Theory and Logic
  Hofmann, Martin ; Lange, Martin 2025 Springer Berlin Heidelberg, Imprint: Springer Vieweg
• Cat Herding Game Played on Infinite Trees
  Ashmore, Rylo ; Pinchinat, Sophie 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Compatibility of Shelah and Stupp's and of Muchnik's iteration with fragments of monadic second order logic
  Kuske, Dietrich 2019 Universitätsbibliothek Leipzig
• Advances in Algorithmic Meta Theorems (Invited Paper)
  Siebertz, Sebastian ; Vigny, Alexandre 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On Expansions of Monadic Second-Order Logic with Dynamical Predicates
  Nieuwveld, Joris ; Ouaknine, Joël 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A List of Successes That Can Change the World – Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
  Lindley, Sam ; McBride, Conor ; Trinder, Phil ; Sannella, Donald 2016 Springer International Publishing
• Choice functions and well-orderings over the infinite binary tree
  Carayol, Arnaud ; Löding, Christof ; Niwinski, Damian ; Walukiewicz, Igor
• Monadic second-order logic and the domino problem on self-similar graphs
  Bartholdi, Laurent 2022 Saarländische Universitäts- und Landesbibliothek
• On Existential MSO and its Relation to ETH
  Ganian, Robert ; de Haan, Ronald ; Kanj, Iyad ; Szeider, Stefan 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Monadic Second-Order Temporal Logic framework for hypergraphs
  Bhuyan, Bikram Pratim ; Singh, T. P. ; Tomar, Ravi ; Meraihi, Yassine ; Ramdane-Cherif, Amar
• Definability Equals Recognizability for k-Outerplanar Graphs
  Jaffke, Lars ; Bodlaender, Hans L. 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Curry-Howard Approach to Church's Synthesis
  Pradic, Cécilia ; Riba, Colin 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Logical Strength of Büchi's Decidability Theorem
  Kolodziejczyk, Leszek Aleksander ; Michalewski, Henryk ; Pradic, Cécilia ; Skrzypczak, Michal 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Structure of Trees in the Pushdown Hierarchy
  Carayol, Arnaud ; Charamond, Lucien 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Automata-Theoretic Characterisations of Branching-Time Temporal Logics
  Benerecetti, Massimo ; Bozzelli, Laura ; Mogavero, Fabio ; Peron, Adriano 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik