Meng-meng Yao

According to our database, Meng-meng Yao authored at least 1 paper in 2019.

Collaborative distances:

• no known Dijkstra number.
• no known Erdős number.

2019

Research on Formal Analysis Method of Computational Soundness Based on Strand Space.

Meng-meng Yao, Ye Zhu, Li Tang

Proceedings of the 4th International Conference on Mathematics and Artificial Intelligence, 2019