• Visitor-End-Date: 1997-08-22
• Visitor Year: 1997
• Visitor-Start-Date: 1997-07-23
• Associated Program: Computational and Kolmogorov complexity, decidable theories, algorithms in number theory
• Visitor Site: Rutgers University - New Brunswick
• Visitor Host (Non Dimacs Member): Eric Allender