Toggle navigation
norsk
English
English
norsk
English
Login
Toggle navigation
View Item
Home
Øvrige samlinger
Publikasjoner fra CRIStin - NTNU
View Item
Home
Øvrige samlinger
Publikasjoner fra CRIStin - NTNU
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
A Simple and Efficient Framework of Proof Systems for NP
Wang, Yuyu
;
Su, Chuanjie
;
Pan, Jiaxin
;
Chen, Yu
Peer reviewed, Journal article
Accepted version
View/
Open
2023-1857.pdf (727.9Kb)
URI
https://hdl.handle.net/11250/3140141
Date
2023
Metadata
Show full item record
Collections
Institutt for matematiske fag
[2451]
Publikasjoner fra CRIStin - NTNU
[38070]
Original version
Lecture Notes in Computer Science (LNCS). 2023, 14439 174-207.
10.1007/978-981-99-8724-5_6
Publisher
Springer
Journal
Lecture Notes in Computer Science (LNCS)
Except where otherwise noted, this item's license is described as Navngivelse 4.0 Internasjonal
Search Archive
This Collection
Browse
Archive
Communities & Collections
By Issue Date
Authors
Titles
Subjects
Document Types
Journals
This Collection
By Issue Date
Authors
Titles
Subjects
Document Types
Journals
My Account
Login
Statistics
View Usage Statistics