GuardLaticeSciences

Explorer les recherches

Prépublication externe · Version 1

Complexité des certificats de sûreté

Mahamadou Sidibe

Version, provenance et échanges

Étudie la taille des certificats de sûreté selon le langage décrivant les invariants. Le manuscrit construit des systèmes compacts où certaines représentations par produits nécessitent une taille exponentielle, tandis que des congruences relationnelles permettent des certificats plus courts.

Version diffusée
24/07/2026
Échanges sur la plateforme
0 avis · 0 approbation(s)
Espace
Mahamadou Sidibe · Research

Les échanges sur la plateforme ne constituent pas une attestation d’évaluation scientifique externe.

Source et accès

Cette notice décrit une prépublication externe. Le texte intégral reste hébergé à la source d'origine.

Lire le manuscrit sur ResearchGate

Portée et limites

Les conclusions concernent les familles de systèmes et les langages de descripteurs étudiés. La mention d'une soumission à une revue dans le manuscrit n'établit pas son acceptation.

Le statut de prépublication ne constitue pas une évaluation par les pairs.

Références et provenance

  • Nature : prépublication — notice externe
  • Source : ResearchGate
  • Auteur indiqué : Mahamadou Sidibe
  • Date indiquée : juillet 2026
  • Licence annoncée : CC BY 4.0
  • Thèmes : certificats, sûreté, complexité

Citation

Mahamadou Sidibe. THE CONSERVATION LAW OF SAFETY-PROOF COMPLEXITY PRODUCT SEPARATORS, DESCRIPTOR HIERARCHIES, AND RELATIONAL ESCAPES. ResearchGate, 2026-07. Prépublication.

Télécharger la référence BibTeX

Ce travail continue

Gardez sa prochaine version à portée de main.

Enregistrez l’article, suivez ses résultats ou présentez une contribution à l’équipe.

Traçabilité

La page publique correspond à une version figée. Le brouillon de travail, les contributions et les avis restent reliés dans le dossier privé.