Poprzednia strona
Rekrutacja 2022/23
B. Kwaśniewski
A logic-algebraic approach to graded inclusion
19th International Workshop on Concurrency, Specification and Computing, Helenenau bei Berlin, Germany, Sep 27-29, 2010
Humboldt University, Warsaw University (org.)