@PhdThesis{sch98b,
  Author         = {Stefan Schwendimann},
  Title          = {Aspects of Computational Logic},
  School         = {Universit{\"a}t Bern},
  Address        = {Institut f{\"u}r Informatik und angewandte Mathematik},
  url            = {1998/sch98b.ps},
  year           = 1998
}

{"_id":"4AxC8Y7Rfnwp5NDSy","bibbaseid":"schwendimann-aspectsofcomputationallogic-1998","authorIDs":[],"author_short":["Schwendimann, S."],"bibdata":{"bibtype":"phdthesis","type":"phdthesis","author":[{"firstnames":["Stefan"],"propositions":[],"lastnames":["Schwendimann"],"suffixes":[]}],"title":"Aspects of Computational Logic","school":"Universität Bern","address":"Institut für Informatik und angewandte Mathematik","url":"1998/sch98b.ps","year":"1998","bibtex":"@PhdThesis{sch98b,\n Author = {Stefan Schwendimann},\n Title = {Aspects of Computational Logic},\n School = {Universit{\\\"a}t Bern},\n Address = {Institut f{\\\"u}r Informatik und angewandte Mathematik},\n url = {1998/sch98b.ps},\n year = 1998\n}\n\n","author_short":["Schwendimann, S."],"key":"sch98b","id":"sch98b","bibbaseid":"schwendimann-aspectsofcomputationallogic-1998","role":"author","urls":{"Paper":"http://home.inf.unibe.ch/~brambi/1998/sch98b.ps"},"downloads":0},"bibtype":"phdthesis","biburl":"http://home.inf.unibe.ch/~brambi/ltg.bib","creationDate":"2020-02-26T09:06:59.124Z","downloads":0,"keywords":[],"search_terms":["aspects","computational","logic","schwendimann"],"title":"Aspects of Computational Logic","year":1998,"dataSources":["jFQMeatnEb8qn3qdH"]}