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 - 802021CZYSTY TEKST
Paweł Płaczek, One-Sided Sequent Systems for Nonassociative Bilinear Logic : Cut Elimination and Complexity , Bulletin of the Section of Logic, 2021 / Tom 50 / Numer 1, s. 55 - 80
BIBTEX@Article{ authors = " Paweł Płaczek", title = "One-Sided Sequent Systems for Nonassociative Bilinear Logic : Cut Elimination and Complexity ", journal = "Bulletin of the Section of Logic", issue = "2021 / Tom 50 / Numer 1", pages = "55 - 80" }
