Conference paper
Program equivalence and context-free grammars
Barry K. Rosen
SWAT 1972
No abstract available.
Barry K. Rosen
SWAT 1972
Guojing Cong, David A. Bader
Journal of Parallel and Distributed Computing
Albert Atserias, Anuj Dawar, et al.
Journal of the ACM
Shashank Ahire, Melissa Guyre, et al.
CUI 2025