Change search criteria ↓

Search results

1 project found matching your search criteria:

  1. 1. Quantitative properties for higher-order recursion schemes

    Principal investigator: dr hab. Paweł Parys

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA BIS 6, Panel: ST6

Graphic design and implementation: Jakub Piotrowski