2 papers
math.CO2026
New bounds for (weak) sequenceability in
Simone Costa, Stefano Della Fiore
A famous conjecture of Graham asserts that every set can be ordered so that all partial sums are distinct. Although this conjecture was r…
math.LO2025
Definability of some -ary Relations Over Second Order kinds of Logics
Simone Costa, Marco Dalai, Stefano Della Fiore +1
We consider the exprissibility in monadic second order logic of certain relations of importance in computer science. For integers and , a -tuple of sequences…