@MastersThesis{kra09,
  Author         = {Kr{\"a}henb{\"u}hl, J{\"u}rg},
  Title          = {Justifying induction on modal mu-formulae},
  School         = {Universit\"at Bern},
  Address        = {Institut f\"ur Informatik und angewandte Mathematik},
  url            = {2009/kra09.pdf},
  year           = 2009
}

{"_id":"MYoS3Kvwa5mh4smNd","bibbaseid":"krhenbhl-justifyinginductiononmodalmuformulae-2009","authorIDs":[],"author_short":["Krähenbühl, J."],"bibdata":{"bibtype":"mastersthesis","type":"mastersthesis","author":[{"propositions":[],"lastnames":["Krähenbühl"],"firstnames":["Jürg"],"suffixes":[]}],"title":"Justifying induction on modal mu-formulae","school":"Universität Bern","address":"Institut für Informatik und angewandte Mathematik","url":"2009/kra09.pdf","year":"2009","bibtex":"@MastersThesis{kra09,\n Author = {Kr{\\\"a}henb{\\\"u}hl, J{\\\"u}rg},\n Title = {Justifying induction on modal mu-formulae},\n School = {Universit\\\"at Bern},\n Address = {Institut f\\\"ur Informatik und angewandte Mathematik},\n url = {2009/kra09.pdf},\n year = 2009\n}\n\n","author_short":["Krähenbühl, J."],"key":"kra09","id":"kra09","bibbaseid":"krhenbhl-justifyinginductiononmodalmuformulae-2009","role":"author","urls":{"Paper":"http://home.inf.unibe.ch/~brambi/2009/kra09.pdf"},"downloads":0},"bibtype":"mastersthesis","biburl":"http://home.inf.unibe.ch/~brambi/ltg.bib","creationDate":"2020-02-26T09:06:59.111Z","downloads":0,"keywords":[],"search_terms":["justifying","induction","modal","formulae","krähenbühl"],"title":"Justifying induction on modal mu-formulae","year":2009,"dataSources":["jFQMeatnEb8qn3qdH"]}