TYTUŁ ARTYKUŁU

Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity

AUTORZY
Wojciech Buszkowski
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
2017 / Tom 46 / Numer 1-2
STRONY
75 - 92
ROK
2017
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

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

Zacytuj

CZYSTY TEKST

Wojciech Buszkowski, Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity, Bulletin of the Section of Logic, 2017 / Tom 46 / Numer 1-2, s. 75 - 92

BIBTEX

Wojciech Buszkowski. Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity. Bulletin of the Section of Logic, 46(1-2):75–92, 2017.

Pokaż kod BibTeX 
@article{bazhum245943,
  author = {Buszkowski, Wojciech},
  title = {{Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity}},
  journal = {Bulletin of the Section of Logic},
  year = {2017},
  volume = {46},
  number = {1-2},
  pages = {75--92},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/245943}
}