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