2 projects found matching your search criteria :
Algorithms concerning the legibility of natural deduction proofs
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: dr Karol Pąk
Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki
Structural properties of graphs and hypergraphs
Call: OPUS 24 , Panel: ST1
Principal investigator: prof. Tomasz Łuczak
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki