Canonical completeness of infinitary mu. Jäger, G., Kretz, M., & Studer, T. Journal of Logic and Algebraic Programming, 76(2):270-292, 2008.
Paper doi bibtex @Article{jks08,
Author = {J{\"a}ger, Gerhard and Kretz, Mathis and Studer,
Thomas},
Title = {Canonical completeness of infinitary mu},
Journal = {Journal of Logic and Algebraic Programming},
Volume = {76},
Number = {2},
Pages = {270-292},
abstract = {},
doi = {10.1016/j.jlap.2008.02.005},
url = {2008/jks08.pdf},
year = 2008
}
Downloads: 0
{"_id":"suWBFxENRPY3Z7jxb","bibbaseid":"jger-kretz-studer-canonicalcompletenessofinfinitarymu-2008","authorIDs":[],"author_short":["Jäger, G.","Kretz, M.","Studer, T."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Jäger"],"firstnames":["Gerhard"],"suffixes":[]},{"propositions":[],"lastnames":["Kretz"],"firstnames":["Mathis"],"suffixes":[]},{"propositions":[],"lastnames":["Studer"],"firstnames":["Thomas"],"suffixes":[]}],"title":"Canonical completeness of infinitary mu","journal":"Journal of Logic and Algebraic Programming","volume":"76","number":"2","pages":"270-292","abstract":"","doi":"10.1016/j.jlap.2008.02.005","url":"2008/jks08.pdf","year":"2008","bibtex":"@Article{jks08,\n Author = {J{\\\"a}ger, Gerhard and Kretz, Mathis and Studer,\n Thomas},\n Title = {Canonical completeness of infinitary mu},\n Journal = {Journal of Logic and Algebraic Programming},\n Volume = {76},\n Number = {2},\n Pages = {270-292},\n abstract = {},\n doi = {10.1016/j.jlap.2008.02.005},\n url = {2008/jks08.pdf},\n year = 2008\n}\n\n","author_short":["Jäger, G.","Kretz, M.","Studer, T."],"key":"jks08","id":"jks08","bibbaseid":"jger-kretz-studer-canonicalcompletenessofinfinitarymu-2008","role":"author","urls":{"Paper":"http://home.inf.unibe.ch/~brambi/2008/jks08.pdf"},"downloads":0},"bibtype":"article","biburl":"http://home.inf.unibe.ch/~brambi/ltg.bib","creationDate":"2020-02-26T09:06:59.085Z","downloads":0,"keywords":[],"search_terms":["canonical","completeness","infinitary","jäger","kretz","studer"],"title":"Canonical completeness of infinitary mu","year":2008,"dataSources":["jFQMeatnEb8qn3qdH"]}