On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic

Documenti analoghi

• Geometry and Dress groups with non-symmetric cost functions
  di: Barth, Lukas Silvester, et al.
  Pubblicazione: (2025)
• Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment
  di: Jilissen, Kevin H. J., et al.
  Pubblicazione: (2024)
• Unitary, Inner product, and Dagger categories
  di: Cockett, Robin, et al.
  Pubblicazione: (2026)
• Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width
  di: Lopez, Aliaume
  Pubblicazione: (2024)
• On the Walsh and Fourier-Hadamard Supports of Boolean Functions From a Quantum Viewpoint
  di: Carlet, Claude, et al.
  Pubblicazione: (2022)