Variable Splitting: Consistency and Complexity

Thursday February 2, 2006
Thursday February 9, 2006
Talk
February 2, 2006
Seminar in Mathematical Logic