Mike Townsend

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1990

2 Mike Townsend: Complexity for Type-2 Relations. Notre Dame Journal of Formal Logic 31(2): 241-262 (1990)

1986

1 Mike Townsend: A Polynomial Jump Operator Information and Control 68(1-3): 146-169 (1986)

1990
2		Mike Townsend: Complexity for Type-2 Relations. Notre Dame Journal of Formal Logic 31(2): 241-262 (1990)
1986
1		Mike Townsend: A Polynomial Jump Operator Information and Control 68(1-3): 146-169 (1986)