Parameterized complexity of some prefix-vocabulary fragments of first-order logic

DOI10.1007/978-3-662-57669-4_9OpenAlexW2810940200MaRDI QIDQ1799280

Francicleber Ferreira Martins, Ana Teresa Martins, Luis Henrique Bustamante

Publication date: 18 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-662-57669-4_9

zbMATH Keywords

satisfiabilityfixed-parameter tractabilityprefix-vocabulary fragments of first-order logic

Mathematics Subject Classification ID

Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Parameterized complexity, tractability and kernelization (68Q27)

This page was built for publication: Parameterized complexity of some prefix-vocabulary fragments of first-order logic