No Cover Image

Conference Paper/Proceeding/Abstract 768 views 132 downloads

Total Search Problems in Bounded Arithmetic and Improved Witnessing

Arnold Beckmann Orcid Logo, Jean-Jose Razafindrakoto, Jean Razafindrakoto

Logic, Language, Information, and Computation, Volume: 10388, Pages: 31 - 47

Swansea University Authors: Arnold Beckmann Orcid Logo, Jean Razafindrakoto

Published in: Logic, Language, Information, and Computation
ISBN: 978-3-662-55385-5 978-3-662-55386-2
ISSN: 0302-9743 1611-3349
Published: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings 2017
Online Access: Check full text

Tags: Add Tag
No Tags, Be the first to tag this record!
Start Page: 31
End Page: 47