Conference paper
Program equivalence and context-free grammars
Barry K. Rosen
SWAT 1972
Barry K. Rosen
SWAT 1972
Hannaneh Hajishirzi, Julia Hockenmaier, et al.
UAI 2011
Albert Atserias, Anuj Dawar, et al.
Journal of the ACM
Ran Iwamoto, Kyoko Ohara
ICLC 2023