:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Schirrmacher, Nicole, Siebertz, Sebastian, Stamoulis, Giannos, Thilikos, Dimitrios M., Vigny, Alexandre
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Logic in Computer Science
Online-Zugang:	https://arxiv.org/abs/2302.07033
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Model Checking for Low Monodimensionality Fragments of CMSO on Topological-Minor-Free Graph Classes
von: Sau, Ignasi, et al.
Veröffentlicht: (2026)

Model-Checking for First-Order Logic with Disjoint Paths Predicates in Proper Minor-Closed Graph Classes
von: Golovach, Petr A., et al.
Veröffentlicht: (2022)

Advances in Algorithmic Meta Theorems
von: Siebertz, Sebastian, et al.
Veröffentlicht: (2024)

Parameterizing the quantification of CMSO: model checking on minor-closed graph classes
von: Sau, Ignasi, et al.
Veröffentlicht: (2024)

A Note on Constructive Canonical Splitter Strategies in Nowhere Dense Graph Classes
von: Fuchser, Janne, et al.
Veröffentlicht: (2025)

Existential Positive Transductions of Sparse Graphs
von: Mählmann, Nikolas, et al.
Veröffentlicht: (2026)

A Logic-based Algorithmic Meta-Theorem for Treedepth: Single Exponential FPT Time and Polynomial Space
von: Bergougnoux, Benjamin, et al.
Veröffentlicht: (2025)

Elimination Distance to Dominated Clusters
von: Schirrmacher, Nicole, et al.
Veröffentlicht: (2025)

Low rank MSO
von: Bojańczyk, Mikołaj, et al.
Veröffentlicht: (2025)

Elementary first-order model checking for sparse graphs
von: Gajarský, Jakub, et al.
Veröffentlicht: (2024)

Weighted Treedepth is NP-complete on Graphs of Bounded Degree
von: Dirks, Jona, et al.
Veröffentlicht: (2025)

On the generalized coloring numbers
von: Siebertz, Sebastian
Veröffentlicht: (2025)

Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs
von: Charalambidis, Angelos, et al.
Veröffentlicht: (2026)

Minor Containment and Disjoint Paths in almost-linear time
von: Korhonen, Tuukka, et al.
Veröffentlicht: (2024)

Decomposition horizons and a characterization of stable hereditary classes of graphs
von: Braunfeld, Samuel, et al.
Veröffentlicht: (2022)

On first-order transductions of classes of graphs
von: Braunfeld, Samuel, et al.
Veröffentlicht: (2022)

Catching Rats in $H$-minor-free Graphs
von: Gorsky, Maximilian, et al.
Veröffentlicht: (2025)

Characterizing Sets of Theories That Can Be Disjointly Combined
von: Przybocki, Benjamin, et al.
Veröffentlicht: (2025)

Parikh Automata on Finite and Infinite Words
von: Grobler, Mario, et al.
Veröffentlicht: (2023)

Model Checking Linear Temporal Logic with Standpoint Modalities
von: Aghamov, Rajab, et al.
Veröffentlicht: (2025)

Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking
von: Tulcan, Radu-Florin, et al.
Veröffentlicht: (2026)

Characterizations of monadically dependent tree-ordered weakly sparse structures
von: Buffière, Hector, et al.
Veröffentlicht: (2026)

Model Checking Logical Actions in Magic Tricks
von: Zhu, Weijun
Veröffentlicht: (2024)

A more accurate view of the Flat Wall Theorem
von: Ignasi Sau, et al.
Veröffentlicht: (2024)

Distribution-Free Normal Modal Logics
von: Hartonas, Chrysafis
Veröffentlicht: (2024)

Checking Satisfiability of Hyperproperties using First-Order Logic
von: Beutner, Raven, et al.
Veröffentlicht: (2025)

Yeo's Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic
von: Di Guardia, Rémi, et al.
Veröffentlicht: (2026)

Enriching Ontologies with Disjointness Axioms using Large Language Models
von: Crum, Elias, et al.
Veröffentlicht: (2024)

Loop-Checking and Counter-Model Extraction for Intuitionistic Tense Logics via Nested Sequents
von: Lyon, Tim S.
Veröffentlicht: (2026)

Normalisation for Negative Free Logics without and with Definite Descriptions
von: Kürbis, Nils
Veröffentlicht: (2024)

Logic of Fuzzy Paths
von: Grover, Kush, et al.
Veröffentlicht: (2026)

Policies Grow on Trees: Model Checking Families of MDPs
von: Andriushchenko, Roman, et al.
Veröffentlicht: (2024)

Disjoint Partial Enumeration without Blocking Clauses
von: Spallitta, Giuseppe, et al.
Veröffentlicht: (2023)

Distribution-Free Modal Logics: Sahlqvist -- Van Benthem Correspondence
von: Chrysafis, et al.
Veröffentlicht: (2025)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2025)

Faster parameterized algorithms for modification problems to minor-closed classes
von: Morelle, Laure, et al.
Veröffentlicht: (2022)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
von: Grilletti, Gianluca, et al.
Veröffentlicht: (2024)

Model Checking Matrix Product States against Linear Chain Logic
von: Xu, Ming, et al.
Veröffentlicht: (2026)

On merge-models
von: Buffière, Hector, et al.
Veröffentlicht: (2026)

Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
von: Xu, Ming, et al.
Veröffentlicht: (2022)