scientific article; zbMATH DE number 6816925

DOI10.23638/LMCS-13(4:4)2017zbMath1459.03008arXiv1611.08738MaRDI QIDQ4596781

Georgios Kourtis, Ian Pratt-Hartmann

Publication date: 11 December 2017

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

satisfiabilityguarded fragmentintegrity constraintscounting quantifierskey constraintstwo-variable fragmentspath-functional dependencies

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15) Logic with extra quantifiers and operators (03C80) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: