Diane Proudfoot

List of publications from the DBLP Bibliography Server - FAQ

2000

1 B. Jack Copeland, Diane Proudfoot: What Turing Did after He Invented the Universal Turing Machine. Journal of Logic, Language and Information 9(4): 491-509 (2000)

2000
1		B. Jack Copeland, Diane Proudfoot: What Turing Did after He Invented the Universal Turing Machine. Journal of Logic, Language and Information 9(4): 491-509 (2000)

Coauthor Index