Show simple item record

A Simple and Efficient Framework of Proof Systems for NP

dc.contributor.authorWang, Yuyu
dc.contributor.authorSu, Chuanjie
dc.contributor.authorPan, Jiaxin
dc.contributor.authorChen, Yu
dc.date.accessioned2024-07-11T08:43:01Z
dc.date.available2024-07-11T08:43:01Z
dc.date.created2023-12-19T16:26:23Z
dc.date.issued2023
dc.identifier.citationLecture Notes in Computer Science (LNCS). 2023, 14439 174-207.en_US
dc.identifier.issn0302-9743
dc.identifier.urihttps://hdl.handle.net/11250/3140141
dc.language.isoengen_US
dc.publisherSpringeren_US
dc.rightsNavngivelse 4.0 Internasjonal*
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/deed.no*
dc.titleA Simple and Efficient Framework of Proof Systems for NPen_US
dc.title.alternativeA Simple and Efficient Framework of Proof Systems for NPen_US
dc.typePeer revieweden_US
dc.typeJournal articleen_US
dc.description.versionacceptedVersion
dc.source.pagenumber174-207en_US
dc.source.volume14439en_US
dc.source.journalLecture Notes in Computer Science (LNCS)en_US
dc.identifier.doi10.1007/978-981-99-8724-5_6
dc.identifier.cristin2215824
cristin.ispublishedtrue
cristin.fulltextpostprint
cristin.qualitycode1


Files in this item

Thumbnail
Name:
2023-1857.pdf
Size:
727.9Kb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record

Navngivelse 4.0 Internasjonal
Except where otherwise noted, this item's license is described as Navngivelse 4.0 Internasjonal