Please use this identifier to cite or link to this item:
http://hdl.handle.net/11701/30018
Title: | Simulations between proof systems |
Other Titles: | Сводимости систем доказательств |
Authors: | Парт Фёдор Александрович Part Fedor Aleksandrovic Гаевой Никита Сергеевич Gaevoj Nikita Sergeevic Гирш Эдуард Алексеевич Girs Eduard Alekseevic |
Issue Date: | 2021 |
URI: | http://hdl.handle.net/11701/30018 |
Appears in Collections: | MASTER'S STUDIES |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
main.pdf | Article | 345,75 kB | Adobe PDF | View/Open |
reviewSV_4_5913500020413303481.pdf | ReviewSV | 98,35 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.