First-Order Queries on Finite Abelian Groups

DOI10.4230/LIPIcs.CSL.2015.41zbMath1373.68254OpenAlexW2252887208MaRDI QIDQ5351949

Barnaby Martin, Simone Bova

Publication date: 31 August 2017

Full work available at URL: https://dx.doi.org/10.4230/LIPIcs.CSL.2015.41

zbMATH Keywords

first-order logicmonadic second-order logicfinite abelian groups

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Classical first-order logic (03B10) Model theory of finite structures (03C13)

Related Items (1)

Uniformly Automatic Classes of Finite Structures

This page was built for publication: First-Order Queries on Finite Abelian Groups