Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Peth, Vincent"'
We propose $\omega$MSO$\Join$BAPA, an expressive logic for describing countable structures, which subsumes and transcends both Counting Monadic Second-Order Logic (CMSO) and Boolean Algebra with Presburger Arithmetic (BAPA). We show that satisfiabili
Externí odkaz:
http://arxiv.org/abs/2305.01962
