Total Search Problems in Bounded Arithmetic and Improved Witnessing

Conference Paper/Proceeding/Abstract 988 views 179 downloads

Arnold Beckmann

, Jean-Jose Razafindrakoto, Jean Razafindrakoto

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

Swansea University Authors: Arnold Beckmann , Jean Razafindrakoto

DOI (Published version): 10.1007/978-3-662-55386-2_3

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
URI:	https://cronfa.swan.ac.uk/Record/cronfa33863
Tags:	Add Tag No Tags, Be the first to tag this record!

Start Page:	31
End Page:	47