Conference paper
Program equivalence and context-free grammars
Barry K. Rosen
SWAT 1972
We put forward that required enhancements to constraint programming technology include concurrency, more sophisticated control mechanisms, and new features for expressing preferences.
Barry K. Rosen
SWAT 1972
Gaku Yamamoto, Hideki Tai, et al.
AAMAS 2008
Rangachari Anand, Kishan Mehrotra, et al.
IEEE Transactions on Neural Networks
Arthur Nádas
IEEE Transactions on Neural Networks