Fu, Yuxi

1. The Name-Passing Calculus
   2015/08/01 by Fu, Yuxi, Zhu, Han · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
2. Improved Algorithm for Reachability in d-VASS
   2024/04/23 by Fu, Yuxi, Yang, Qizhe, Zheng, Yangluo · 1 citation
   #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)