<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2007-09-18 16:02:01Set theory Mathematics Model theory Tree Base Philosophy of mathematics Large cardinals Abstraction |
|
| First Page | Document Content | |
|---|---|---|
Date: 2007-09-18 16:02:01Set theory Mathematics Model theory Tree Base Philosophy of mathematics Large cardinals Abstraction |
|
The Test Suite Generation Problem: Optimal Instances and Their Implications Christine T. Cheng Department of Computer Science University of Wisconsin–Milwaukee, Milwaukee, WI 53211, USA.