A Simple and Efficient Framework of Proof Systems for NP

Wang, Yuyu; Su, Chuanjie; Pan, Jiaxin; Chen, Yu
Peer reviewed, Journal article
Accepted version
Thumbnail
Åpne
Permanent lenke
https://hdl.handle.net/11250/3140141
Utgivelsesdato
2023
Metadata
Vis full innførsel
Samlinger
Originalversjon
Lecture Notes in Computer Science (LNCS). 2023, 14439 174-207.   10.1007/978-981-99-8724-5_6
Utgiver
Springer
Tidsskrift
Lecture Notes in Computer Science (LNCS)
Navngivelse 4.0 Internasjonal
Med mindre annet er angitt, så er denne innførselen lisensiert som Navngivelse 4.0 Internasjonal