Brian S. Leininger

Publication Activity (10 Years)

Years Active: 1980-1984
Publications (10 Years): 0

Publications

Oscar H. Ibarra, Brian S. Leininger, Louis E. Rosier
A Note on the Complexity of Program Evaluation. Math. Syst. Theory 17 (2) (1984)
Oscar H. Ibarra, Brian S. Leininger
On the Simplification and Equivalence Problems for Straight-Line Programs J. ACM 30 (3) (1983)
Oscar H. Ibarra, Brian S. Leininger
On the Zero-Inequivalence Problem for Loop Programs. J. Comput. Syst. Sci. 26 (1) (1983)
Oscar H. Ibarra, Brian S. Leininger
Straight-Line Programs with One Input Variable. SIAM J. Comput. 11 (1) (1982)
Oscar H. Ibarra, Brian S. Leininger, Shlomo Moran
On the Complexity of Simple Arithmetic Expressions. Theor. Comput. Sci. 19 (1982)
Oscar H. Ibarra, Brian S. Leininger
The Complexity of the Equivalence Problem for Simple Loop-Free Programs. SIAM J. Comput. 11 (1) (1982)
Oscar H. Ibarra, Brian S. Leininger, Shlomo Moran
On the Complexity of Simple Arithmetic Expressions. ICALP (1981)
Oscar H. Ibarra, Brian S. Leininger
Characterizations of Presburger Functions. SIAM J. Comput. 10 (1) (1981)
Oscar H. Ibarra, Brian S. Leininger
The Complexity of the Equivalence Problem for Straight-Line Programs STOC (1980)