ASNP: a tame fragment of existential second-order logic
From MaRDI portal
Publication:2106601
DOI10.1007/978-3-030-51466-2_13OpenAlexW3038004136MaRDI QIDQ2106601FDOQ2106601
Authors: Manuel Bodirsky, Simon Knäuer, Florian Starke 
Publication date: 16 December 2022
Full work available at URL: https://arxiv.org/abs/2001.08190
Cites Work
- Title not available (Why is that?)
- Graph structure and monadic second-order logic. A language-theoretic approach
- On the Structure of Polynomial Time Reducibility
- The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
- Ontology-based data access: a study through disjunctive Datalog, CSP, and MMSNP
- Title not available (Why is that?)
- Universal graphs with forbidden subgraphs and algebraic closure
- Generalised dualities and maximal finite antichains in the homomorphism order of relational structures
- The algebraic dichotomy conjecture for infinite domain constraint satisfaction problems
- Constraints, MMSNP and expander relational structures
- Title not available (Why is that?)
- A universal-algebraic proof of the complexity dichotomy for monotone monadic SNP
- PROJECTIVE CLONE HOMOMORPHISMS
- Datalog and constraint satisfaction with infinite templates
- Temporal constraint satisfaction problems in fixed-point logic
- Homomorphism and embedding universal structures for restricted classes
- Equations in oligomorphic clones and the constraint satisfaction problem for \(\omega \)-categorical structures
- Universal Structures and the Logic of Forbidden Patterns
Cited In (6)
- On guarded extensions of MMSNP
- ASNP: a tame fragment of existential second-order logic
- Existential Fixed-Point Logic as a Fragment of Second-Order Logic
- Universal Horn Sentences and the Joint Embedding Property
- Using model theory to find decidable and tractable description logics with concrete domains
- Forbidden tournaments and the orientation completion problem
This page was built for publication: ASNP: a tame fragment of existential second-order logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2106601)
