Conference paper
Program equivalence and context-free grammars
Barry K. Rosen
SWAT 1972
Barry K. Rosen
SWAT 1972
Vijay K. Naik, Sanjeev K. Setia, et al.
Journal of Parallel and Distributed Computing
John R. Kender, Rick Kjeldsen
IEEE Transactions on Pattern Analysis and Machine Intelligence
Yale Song, Zhen Wen, et al.
IJCAI 2013