Insights sobre AritméticaInsights sobre Aritméticade Presburgeraritméticas e decidibilidade.Desafiando a complexidade em expansõesLógica na InformáticaDecidibilidade e Complexidade na Aritmética de PresburgerAnalisando os desafios e insights na aritmética de Presburger e suas expansões.2025-07-18T08:08:00+00:00 ― 6 min ler