Skip to content
DraconiticResearch
Search Sources API
203,234 studies31 sourcesUpdated 1 h ago
PreprintLicence not statedHAL

Unique Normal Forms: Proof-Graph Counterexamples, Infinite-Carrier Certificates, and Confluence Repair

  • Moses Rahnama
Open at sourceDOICite

Related

  1. Cσ-Unique Dcpos: Intrinsic Characterizations and Counterexamples
    Yuxu Chen, Xulong He
    arXivPreprintCC BY 4.0Full textGeometry & topologyarXiv
  2. An infinite family of counterexamples to the Polycirculant Conjecture
    Saul D. Freedman, Melissa Lee
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryCombinatorics & discrete mathematicsarXiv
  3. Lean-Certified Infinite Counterexamples to Written on the Wall II Conjecture 194
    Cameron Beeley
    arXivPreprintCC BY 4.0Full textCombinatorics & discrete mathematicsarXiv
  4. An infinite family of counterexamples to Goss's conjecture on L-functions of cyclotomic function fields
    David Niedbala Giraudin
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryarXiv
  5. Disproving the Petersen Coloring Conjecture: Theoretical Analysis and an Infinite Family of Counterexamples
    Jan Goedgebeur, Jorik Jooken, Edita Máčajová +3
    arXivPreprintCC BY 4.0Full textCombinatorics & discrete mathematicsarXiv

Cite

BibTeXRIS
BibTeX
@misc{rahnama2026unique,
  title = {{Unique Normal Forms: Proof-Graph Counterexamples, Infinite-Carrier Certificates, and Confluence Repair}},
  author = {Moses Rahnama},
  howpublished = {HAL},
  year = {2026},
  month = jul,
  doi = {10.2139/ssrn.7037939},
  url = {https://hal.science/hal-05820762v1},
}
RIS
TY  - UNPB
TI  - Unique Normal Forms: Proof-Graph Counterexamples, Infinite-Carrier Certificates, and Confluence Repair
AU  - Moses Rahnama
PY  - 2026
DA  - 2026/07/01
PB  - HAL
DO  - 10.2139/ssrn.7037939
UR  - https://hal.science/hal-05820762v1
ER  -