Instytut Informatyki Analitycznej

Wydział Matematyki i Informatyki Uniwersytet Jagielloński

Seminaria

Thue Games

31.03.2016

Efficient algorithm for several diverse results in public transport routing system

30.03.2016

Principal types of BCK-lambda-termss by Sachio Hirokawa

30.03.2016

PARALLEL STANDARD TRANSLATION BETWEEN LAMBDA CALCULUS AND COMBINATORY LOGIC (wyniki własne)

23.03.2016

Direct solver algorithms for systems created on the basis of adaptive meshes

23.03.2016

Additive chromatic number of several graph families

17.03.2016

Tight Hardness Results for LCS and other Sequence Similarity Measures

16.03.2016

Pattern avoiding coloring of the plane

03.03.2016

Asymptotic properties of first order logic with one binary predicat symbol (wyniki własne)

02.03.2016

Higher order arboricity of graphs

25.02.2016