Nathan Mull
According to our database1,
Nathan Mull
authored at least 3 papers
between 2016 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
2016
2017
2018
2019
2020
2021
2022
0
1
2
3
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
SIAM J. Comput., August, 2022
Proceedings of the 28th International Conference on Types for Proofs and Programs, 2022
2016
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016