Theoretical Computer Science

Faculty of Mathematics and Computer Science Jagiellonian University

Seminaria

Upper and lower bounds for satisfiability threshold

26.11.2007

Problemy modeli Kripkego dla teorii pierwszego rzędu

21.11.2007

Unprovability of the 3n+1-conjecture

19.11.2007

Tree walking automata cannot be determinized

14.11.2007

Optimal orientation on-line

14.11.2007

Piercing d-intervals

12.11.2007

On learning monotone Boolean functions under the uniform distribution

07.11.2007

Solution of the EKG conjecture

05.11.2007

Complexity of nonrepetitive colorings

29.10.2007

Algorithmic meta-theorems and treewidth

24.10.2007