Object's details: Simple cut elimination proof for hybrid logic
Provider:Akademicka Platforma Czasopism
Description
- Title:
- Creator:
- Description:
- Object availability:
- Rights:
- Date:
- Type:
- Language:
- Source:
- Format:
- Publisher:
- Relation: https://apcz.umk.pl/LLP/article/view/LLP.2016.004/8974
- Subject:
- Identifier: https://apcz.umk.pl/LLP/article/view/LLP.2016.004
- Data provider:
- Can I use it?:
- Type:
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