Chetan R. Murthy

According to our database, Chetan R. Murthy authored at least 6 papers between 1990 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2010

GNSS Signal Detection Under Noise Uncertainty.

J. Chandrasekhar, Chetan R. Murthy

Proceedings of IEEE International Conference on Communications, 2010

1992

A Computational Analysis of Girard's Translation and LC

Chetan R. Murthy

Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

1991

An Evaluation Semantics for Classical Proofs

Chetan R. Murthy

Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991

Classical Proofs as Programs: How, What, and Why.

Chetan R. Murthy

Proceedings of the Constructivity in Computer Science, 1991

1990

Extracting Constructive Content From Classical Proofs.

Chetan R. Murthy

PhD thesis, 1990

A Constructive Proof of Higman's Lemma

Chetan R. Murthy, James R. Russell

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990