No Cover Image

Conference Paper/Proceeding/Abstract 457 views 42 downloads

Total Search Problems in Bounded Arithmetic and Improved Witnessing / Arnold Beckmann; Jean-Jose Razafindrakoto; Jean Razafindrakoto

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

Swansea University Authors: Arnold, Beckmann, 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

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