Object's details: Simple cut elimination proof for hybrid logic
Provider:Akademicka Platforma Czasopism
Description
- Tytuł:
- Twórca:
- Opis:
- Dostępność obiektu:
- Prawa:
- Data:
- Typ:
- Język:
- Źródło:
- Format:
- Wydawca:
- Relacja: https://apcz.umk.pl/LLP/article/view/LLP.2016.004/8974
- Temat i słowa kluczowe:
- Identyfikator: https://apcz.umk.pl/LLP/article/view/LLP.2016.004
- Dostawca danych:
- Czy mogę z tego obiektu skorzystać?:
- Rodzaj zawartości:
Similar objects
Creator:Indrzejczak, Andrzej
Date:2016.04.04
Type:text
Creator:Indrzejczak, Andrzej | Zawidzki, Michał
Date:2013.08.29
Type:text
Creator:Indrzejczak, Andrzej | Petrukhin, Yaroslav
Date:2024.07.26
Type:text
Creator:Bednarska, Kaja | Indrzejczak, Andrzej
Date:2015.08.25
Type:text
Creator:Indrzejczak, Andrzej
Date:2011.11.30
Type:text
Creator:Kawano, Tomoaki
Date:2019.05.24 | 2018
Type:image
Creator:Maffezioli, Paolo
Date:2016.04.12
Type:text
Creator:Bednarska, Kaja
Date:2016.07.04 | 2016 | 2016.07.14
Type:text