Skip to content
VuFind
  • Login
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
Advanced
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Save to List
  • Permanent link
Cover Image

Saved in:
Bibliographic Details
Main Authors: Bolan, Matthew, Breitner, Joachim, Brox, Jose, Carlini, Nicholas, Carneiro, Mario, van Doorn, Floris, Dvorak, Martin, Goens, Andrés, Hill, Aaron, Husum, Harald, Mejia, Hernán Ibarra, Kocsis, Zoltan A., Floch, Bruno Le, Bar-on, Amir Livne, Luccioli, Lorenzo, McNeil, Douglas, Meiburg, Alex, Monticone, Pietro, Nielsen, Pace P., Osazuwa, Emmanuel Osalotioman, Paolini, Giovanni, Petracci, Marco, Reinke, Bernhard, Renshaw, David, Rossel, Marcus, Roux, Cody, Scanvic, Jérémy, Srinivas, Shreyas, Tadipatri, Anand Rao, Tao, Terence, Tsyrklevich, Vlad, Vaquerizo-Villar, Fernando, Weber, Daniel, Zheng, Fan
Format: Preprint
Published: 2025
Subjects:
Rings and Algebras
Logic in Computer Science
Online Access:https://arxiv.org/abs/2512.07087
Tags: Add Tag
No Tags, Be the first to tag this record!
  • Holdings
  • Description
  • Table of Contents
  • Comments
  • Similar Items
  • Staff View

Internet

https://arxiv.org/abs/2512.07087

Similar Items

  • Bridging Syntax and Semantics of Lean Expressions in E-Graphs
    by: Rossel, Marcus, et al.
    Published: (2024)
  • Global Product Intersection Sets in Semigroups
    by: van Doorn, Wouter, et al.
    Published: (2026)
  • Gaps in Multiplicative Sidon Sets
    by: van Doorn, Wouter, et al.
    Published: (2026)
  • Mapping Uncharted Symmetries: Machine Discovery in Combinatorics
    by: Cainelli, Eugenio, et al.
    Published: (2026)
  • Transformational Leadership and Nursing Retention: An Integrative Review
    by: Becky Goens, et al.
    Published: (2024)

Search Options

  • Search History
  • Advanced Search

Find More

  • Browse the Catalog
  • Browse Alphabetically
  • Explore Channels
  • Course Reserves
  • New Items

Need Help?

  • Search Tips
  • Ask a Librarian
  • FAQs