Object's details: One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity
Provider:Repozytorium Uniwersytetu Łódzkiego
Description
- Title:
- Creator:
- Contributor:
- Description:
- Object availability:
- Rights: https://creativecommons.org/licenses/by-nc-nd/4.0
- Date:
- Type:
- Language:
- Format:
- Publisher:
- Relation:
- Subject:
- Identifier: http://hdl.handle.net/11089/35352 ;
- Data provider:
- Can I use it?:
- Type:
Similar objects
Creator:Płaczek, Paweł 
Date:2021.05.05  | 2020.11.13 
Type:other 
Creator:Buszkowski, Wojciech 
Date:2018.04.24  | 2017 
Type:image 
Creator:Płaczek, Paweł 
Date:2024.06.24  | 2024.04.24 
Type:image 
Creator:Zielonka, Wojciech 
Date:2012.03.15 
Type:text 
Creator:Restall, Greg 
Date:2023.10.12  | 2023.06.25 
Type:other 
Creator:Pailos, Federico 
Date:2020.07.27 
Type:text 
Creator:Badia, Guillermo 
Date:2019.01.14  | 2018 
Type:image 
Creator:Sasaki, Katsumi 
Date:2022.05.19  | 2021.10.14 
Type:other