Change search criteria ↓

Search results

1 project found matching your search criteria:

  1. 1. Simulation and bisimulation for context-free and pushdown systems

    Principal investigator: dr Piotr Hofman

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: PRELUDIUM 3, Panel: ST6

Graphic design and implementation: Jakub Piotrowski