2026-07-22T12:49:55Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:5406 2024-03-06T10:36:23Z ddc:004 open_access

First-Order Queries on Finite Abelian Groups Bova, Simone Martin, Barnaby Finite Abelian Groups First-Order Logic Monadic Second-Order Logic We study the computational problem of checking whether a logical sentence is true in a finite abelian group. We prove that model checking first-order sentences on finite abelian groups is fixed-parameter tractable, when parameterized by the size of the sentence. We also prove that model checking monadic second-order sentences on finite abelian groups finitely presented by integer matrices is not fixed-parameter tractable (under standard assumptions in parameterized complexity). Schloss Dagstuhl – Leibniz-Zentrum für Informatik Simone Bova and Barnaby Martin 2015 Is Part Of LIPIcs, Volume 41, 24th EACSL Annual Conference on Computer Science Logic (CSL 2015) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CSL.2015.41 urn:nbn:de:0030-drops-54060 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2015.41 eng https://creativecommons.org/licenses/by/3.0/legalcode