Instytut Informatyki Analitycznej

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

Seminaria

Model Scotta dla nietypowanego rachunku lambda

08.10.2025

Edge partition of planar graphs into two outerplanar graphs

12.06.2025

Problems that I would like Somebody to Solve

12.06.2025

A squarefree term not occurring in the Leech sequence

12.06.2025

Antidirected paths in oriented graphs

11.06.2025

A renewal approach to prove the Four Color Theorem unplugged - Part I: RGB-tilings on maximal planar graphs

05.06.2025

The complexity of planar Boolean #CSP with complex weights

05.06.2025

Some (small) steps towards a directed Gyárfás-Sumner conjecture

04.06.2025

Beating Ratio 0.5 for Weighted Oblivious Matching Problems

29.05.2025

Data structures in Efficient Spatial Problem Solving

29.05.2025