Certified Intersection of Commutative Regular Expressions as Solutions of Systems of Linear Diophantine Equations.

Ricardo Almeida, Blair Archibald, Basile Pesin, Michele Sevegnani

Browse the full ITP paper archive.