TYTUŁ ARTYKUŁU

Cut Elimination Theorem for Non-Commutative Hypersequent Calculus

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

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

Zacytuj

CZYSTY TEKST

Andrzej Indrzejczak, Cut Elimination Theorem for Non-Commutative Hypersequent Calculus, Bulletin of the Section of Logic, 2017 / Tom 46 / Numer 1-2, s. 133

BIBTEX

Andrzej Indrzejczak. Cut Elimination Theorem for Non-Commutative Hypersequent Calculus. Bulletin of the Section of Logic, 46(1-2):133, 2017.

Pokaż kod BibTeX 
@article{bazhum245979,
  author = {Indrzejczak, Andrzej},
  title = {{Cut Elimination Theorem for Non-Commutative Hypersequent Calculus}},
  journal = {Bulletin of the Section of Logic},
  year = {2017},
  volume = {46},
  number = {1-2},
  pages = {133},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/245979}
}