Instytut Informatyki Analitycznej

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

Seminaria

A new variant of the game of cops and robber

25.10.2018

Fine-grained Lower Bounds on Cops and Robbers

25.10.2018

Encoding Turing Machines into the Deterministic Lambda Calculus by Ugo Dal Lago and Beniamino Accattoli

24.10.2018

Does the representation matter?

24.10.2018

A Simple Near-Linear Pseudopolynomial Time Randomized Algorithm for Subset Sum

18.10.2018

Local Dimension is Unbounded for Planar Posets

18.10.2018

Limited Automata and Regular Languages by Giovanni Pighizzini and Andrea Pisoni

17.10.2018

A Tight Bound for Shortest Augmenting Paths on Trees

11.10.2018

On the Worst-Case Complexity of TimSort

11.10.2018

Lambda Theories allowing Terms with a Finite Number of Fixed Points by BENEDETTO INTRIGILA and RICHARD STATMAN

10.10.2018