Ph. Kolaitis
seminars given
date | title | |
---|---|---|
2004/04/30 | On preservation under homomorphisms in the finite | |
2001/12/07 | Phase Transitions of PP-Complete Satisfiability Problems | |
2001/02/13 | Existential second-order logic over graphs: charting the tractability frontier | |
2000/07/06 | On the Complexity of Counting Problems in Equational Matching and Unification | |
1999/10/08 | The Ordered Conjecture: A status report | |
1998/11/20 | On the boundedness problem for fragments of first-order logic | |
6 seminars. |