
Search the dblp DataBase
Chetan R. Murthy:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Chetan R. Murthy
Classical Proofs as Programs: How, What, and Why. [Citation Graph (0, 0)][DBLP] Constructivity in Computer Science, 1991, pp:7188 [Conf]
 Chetan R. Murthy
An Evaluation Semantics for Classical Proofs [Citation Graph (0, 0)][DBLP] LICS, 1991, pp:96107 [Conf]
 Chetan R. Murthy
A Computational Analysis of Girard's Translation and LC [Citation Graph (0, 0)][DBLP] LICS, 1992, pp:90101 [Conf]
 Chetan R. Murthy, James R. Russell
A Constructive Proof of Higman's Lemma [Citation Graph (0, 0)][DBLP] LICS, 1990, pp:257267 [Conf]
Search in 0.001secs, Finished in 0.002secs
