C. R. Reddy

Publication Activity (10 Years)

Years Active: 1978-1991
Publications (10 Years): 0

Publications

C. R. Reddy, P. Sathyanarayana, M. N. S. Swamy
The stabilization of two-dimensional non-symmetric half-plane recursive filters via the discrete Hilbert transformations. Int. J. Circuit Theory Appl. 19 (1) (1991)
Donald W. Loveland, C. R. Reddy
Deleting Repeated Goals in the Problem Reduction Format. J. ACM 28 (4) (1981)
C. R. Reddy, Donald W. Loveland
Presburger Arithmetic with Bounded Quantifier Alternation STOC (1978)