author = { KRAJÍČEK, JAN },

title = { CONSISTENCY OF CIRCUIT EVALUATION, EXTENDED RESOLUTION AND TOTAL NP SEARCH PROBLEMS },

publisher = {Cambridge University Press (CUP)},

isbn = {2050-5094},

keywords = { Computational Mathematics , Discrete Mathematics and Combinatorics , Geometry and Topology , Mathematical Physics , Statistics and Probability , Algebra and Number Theory , Theoretical Computer Science , Analysis },

year = {2016},

url = { http://slubdd.de/katalog?TN_libero_mab2 }