Go to the corresponding LIPIcs Volume Portal 
Goldberg, Paul W. ; Papadimitriou, Christos H.
pdfformat: 

@InProceedings{goldberg_et_al:LIPIcs:2018:8340, author = {Paul W. Goldberg and Christos H. Papadimitriou}, title = {{Towards a Unified Complexity Theory of Total Functions}}, booktitle = {9th Innovations in Theoretical Computer Science Conference (ITCS 2018)}, pages = {37:137:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959770606}, ISSN = {18688969}, year = {2018}, volume = {94}, editor = {Anna R. Karlin}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2018/8340}, URN = {urn:nbn:de:0030drops83403}, doi = {10.4230/LIPIcs.ITCS.2018.37}, annote = {Keywords: Computational complexity, firstorder logic, proof system, NP search functions, TFNP} }
Keywords:  Computational complexity, firstorder logic, proof system, NP search functions, TFNP  
Seminar:  9th Innovations in Theoretical Computer Science Conference (ITCS 2018)  
Issue Date:  2018  
Date of publication:  05.01.2018 