C. R. Reddy

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1981

2 EE Donald W. Loveland, C. R. Reddy: Deleting Repeated Goals in the Problem Reduction Format. J. ACM 28(4): 646-661 (1981)

1978

1 C. R. Reddy, Donald W. Loveland: Presburger Arithmetic with Bounded Quantifier Alternation STOC 1978: 320-325

1981
2	EE	Donald W. Loveland, C. R. Reddy: Deleting Repeated Goals in the Problem Reduction Format. J. ACM 28(4): 646-661 (1981)
1978
1		C. R. Reddy, Donald W. Loveland: Presburger Arithmetic with Bounded Quantifier Alternation STOC 1978: 320-325

Coauthor Index

1 Donald W. Loveland [1] [2]