TYTUŁ ARTYKUŁU

One-Sided Sequent Systems for Nonassociative Bilinear Logic : Cut Elimination and Complexity

AUTORZY
Paweł Płaczek
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
2021 / Tom 50 / Numer 1
STRONY
55 - 80
ROK
2021
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

Pełny tekst tego artykułu nie jest dostępny w BazHum.

Zacytuj

CZYSTY 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

Paweł Płaczek. One-Sided Sequent Systems for Nonassociative Bilinear Logic : Cut Elimination and Complexity. Bulletin of the Section of Logic, 50(1):55–80, 2021.

Pokaż kod BibTeX 
@article{bazhum217265,
  author = {Płaczek, Paweł},
  title = {{One-Sided Sequent Systems for Nonassociative Bilinear Logic : Cut Elimination and Complexity}},
  journal = {Bulletin of the Section of Logic},
  year = {2021},
  volume = {50},
  number = {1},
  pages = {55--80},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/217265}
}