Proof Mining in Subsystems of Analysis. Oliva, P. Ph.D. Thesis, Department of Computer Science, University of Aarhus, Denmark, Aarhus, 2003. bibtex @PHDTHESIS{Oli03,
author = {Oliva, Paulo},
title = {Proof Mining in Subsystems of Analysis},
school = {Department of Computer Science, University of Aarhus, Denmark},
year = {2003},
address = {Aarhus},
keywords = {bib,cca}
}
Downloads: 0
{"_id":"gH7ZF9rihK4Xqxtw4","bibbaseid":"oliva-proofmininginsubsystemsofanalysis-2003","authorIDs":[],"author_short":["Oliva, P."],"bibdata":{"bibtype":"phdthesis","type":"phdthesis","author":[{"propositions":[],"lastnames":["Oliva"],"firstnames":["Paulo"],"suffixes":[]}],"title":"Proof Mining in Subsystems of Analysis","school":"Department of Computer Science, University of Aarhus, Denmark","year":"2003","address":"Aarhus","keywords":"bib,cca","bibtex":"@PHDTHESIS{Oli03,\r\n author = {Oliva, Paulo},\r\n title = {Proof Mining in Subsystems of Analysis},\r\n school = {Department of Computer Science, University of Aarhus, Denmark},\r\n year = {2003},\r\n address = {Aarhus},\r\n keywords = {bib,cca}\r\n}\r\n\r\n","author_short":["Oliva, P."],"key":"Oli03","id":"Oli03","bibbaseid":"oliva-proofmininginsubsystemsofanalysis-2003","role":"author","urls":{},"keyword":["bib","cca"],"downloads":0},"bibtype":"phdthesis","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.983Z","downloads":0,"keywords":["bib","cca"],"search_terms":["proof","mining","subsystems","analysis","oliva"],"title":"Proof Mining in Subsystems of Analysis","year":2003,"dataSources":["t7rKiAbxugj4Agz8M"]}