{"_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"]}