Ricardo Almeida 0003, Blair Archibald, Basile Pesin, Michele Sevegnani. Certified Intersection of Commutative Regular Expressions as Solutions of Systems of Linear Diophantine Equations. In Ekaterina Komendantskaya, Tobias Nipkow, editors, 17th International Conference on Interactive Theorem Proving, ITP 2026, Lisbon, Portugal, July 26-29, 2026. Volume 382 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. [doi]
Abstract is missing.