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