Dun Ma

According to our database, Dun Ma authored at least 2 papers between 2021 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2022

Decidability for Sturmian Words.

Philipp Hieronymi, Dun Ma, Reed Oei, Luke Schaeffer, Christian Schulz, Jeffrey O. Shallit

Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022

2021

Pecan: An Automated Theorem Prover for Automatic Sequences using Büchi Automata.

Reed Oei, Dun Ma, Christian Schulz, Philipp Hieronymi

CoRR, 2021