Chetan R. Murthy Vis

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

* 1992

4 Chetan R. Murthy: A Computational Analysis of Girard's Translation and LC LICS 1992: 90-101

1991

3 Chetan R. Murthy: Classical Proofs as Programs: How, What, and Why. Constructivity in Computer Science 1991: 71-88

2 Chetan R. Murthy: An Evaluation Semantics for Classical Proofs LICS 1991: 96-107

1990

1 Chetan R. Murthy, James R. Russell: A Constructive Proof of Higman's Lemma LICS 1990: 257-267

*	1992
4		Chetan R. Murthy: A Computational Analysis of Girard's Translation and LC LICS 1992: 90-101
	1991
3		Chetan R. Murthy: Classical Proofs as Programs: How, What, and Why. Constructivity in Computer Science 1991: 71-88
2		Chetan R. Murthy: An Evaluation Semantics for Classical Proofs LICS 1991: 96-107
	1990
1		Chetan R. Murthy, James R. Russell: A Constructive Proof of Higman's Lemma LICS 1990: 257-267

Coauthor Index

1 James R. Russell [1]