Conference paper
Program equivalence and context-free grammars
Barry K. Rosen
SWAT 1972
No abstract available.
Barry K. Rosen
SWAT 1972
David W. Jacobs, Daphna Weinshall, et al.
IEEE Transactions on Pattern Analysis and Machine Intelligence
Joseph Y. Halpern
aaai 1996
Tim Erdmann, Stefan Zecevic, et al.
ACS Spring 2024