- Tytuł:
- Cut Elimination Theorem for Non-Commutative Hypersequent Calculus
- Autorzy:
- Indrzejczak, Andrzej
- Data publikacji:
- 2017
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
temporal logic
linear time
hypersequent calculus
cut elimination - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki
Artykuł