Instytut Informatyki Analitycznej

数学与计算机系 uj-lift-theme.uniwersytet-jagiellonski

Seminaria

An alternate proof of Statman's finite completeness theorem by B. Srivathsan, Igor Walukiewicz

15.05.2013

Multicut viewed through the eyes of vertex cover

15.05.2013

On algebraic invariants of geometric graphs; the Colin de Verdiere number.

09.05.2013

TETRAVEX is NP-complete by Yasuhiko Takenaga and Toby Walsh

08.05.2013

A Sublinear Time Algorithm for PageRank Computations

08.05.2013

New challenges in Matroid Theory

25.04.2013

Weight automata

24.04.2013

A Simple 3-Edge-Connected Component Algorithm

24.04.2013

Oblivious Collaboration

18.04.2013

Inclusion problems for patterns with a bounded number of variables by Joachim Bremer, Dominik D. Freydenberger

17.04.2013