Instytut Informatyki Analitycznej

Wydział Matematyki i Informatyki Uniwersytet Jagielloński

Seminaria

Localization games on graphs II

03.12.2015

Linear Extensions of N-free Orders

02.12.2015

A \lambda to CL translation for strong normalization (by Yohji AKAMA)

02.12.2015

Localization games on graphs

26.11.2015

A \lambda to CL translation for strong normalization (by Yohji AKAMA)

25.11.2015

The Evasiveness Conjecture II

19.11.2015

Hitting All Maximal Independent Sets of a Bipartite

18.11.2015

Improved Bounds for Online Preemptive Matching

18.11.2015

Counting a type's prinipal inhabitants (by Broda and Damas)

18.11.2015

The Evasiveness Conjecture I

12.11.2015