Quantified Constraints and Containment Problems

DOI10.2168/LMCS-11(3:9)2015zbMath1448.68248arXiv1310.1016MaRDI QIDQ3196340

Hubie Chen, Florent R. Madelaine, Barnaby Martin

Publication date: 29 October 2015

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1310.1016

zbMATH Keywords

finite model theoryquantified constraints

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25) Model theory of finite structures (03C13)

Related Items (2)

Quantified Constraints in Twenty Seventeen ⋮ Decomposing Quantified Conjunctive (or Disjunctive) Formulas

This page was built for publication: Quantified Constraints and Containment Problems