Conference paper
Program equivalence and context-free grammars
Barry K. Rosen
SWAT 1972
There are two principal stability notions in the theory of difference equations. There are the root condition and the resolvent condition. In this note we compare the two conditions. © 1972 American Elsevier Publishing Company, Inc. All rights reserved.
Barry K. Rosen
SWAT 1972
Arthur Nádas
IEEE Transactions on Neural Networks
S. Winograd
Journal of the ACM
Segev Shlomov, Avi Yaeli
CHI 2024