Chetan R. Murthy

Publication Activity (10 Years)

Years Active: 1990-2010
Publications (10 Years): 0

Publications

J. Chandrasekhar, Chetan R. Murthy
GNSS Signal Detection Under Noise Uncertainty. ICC (2010)
Chetan R. Murthy
A Computational Analysis of Girard's Translation and LC LICS (1992)
Chetan R. Murthy
Classical Proofs as Programs: How, What, and Why. Constructivity in Computer Science (1991)
Chetan R. Murthy
An Evaluation Semantics for Classical Proofs LICS (1991)
Chetan R. Murthy, James R. Russell
A Constructive Proof of Higman's Lemma LICS (1990)