Paweł Płaczek
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
One-Sided Sequent Systems for Nonassociative Bilinear Logic : Cut Elimination and Complexity Opublikowano w: Bulletin of the Section of Logic 2021 / Tom 50 / Numer 1 / s. 55 - 80ROK: 2021CZYSTY TEKSTBIBTEX
