Variable Splitting: Consistency and Complexity

Talk
February 2, 2006
Seminar in Mathematical Logic

Thursday February 2, 2006
Thursday February 9, 2006