Aller au contenu
VuFind
  • Connexion
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
Recherche avancée
  • Citer
  • Envoyer par SMS
  • Envoyer par courriel
  • Imprimer
  • Exporter les notices
    • Exporter vers RefWorks
    • Exporter vers EndNoteWeb
    • Exporter vers EndNote
  • Ajouter aux favoris
  • Permalien
Image de couverture de livre

Enregistré dans:
Détails bibliographiques
Auteurs principaux: 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
Publié: 2025
Sujets:
Rings and Algebras
Logic in Computer Science
Accès en ligne:https://arxiv.org/abs/2512.07087
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
  • Exemplaires
  • Description
  • Table des matières
  • Commentaires
  • Documents similaires
  • Affichage MARC
Description
Aucune description n'est disponible.

Documents similaires

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

Options de recherche

  • Historique de recherche
  • Recherche avancée

Autres modes de recherche

  • Parcourir le catalogue
  • Parcours alphabétique
  • Explorer avec les canaux
  • Exemplaires mis en réserve pour un cours
  • Nouveautés

Besoin d'aide ?

  • Astuces pour la recherche
  • Contacter un bibliothécaire
  • FAQ