Intuitionistic fixed point theories for strictly positive operators. Rüede, C. & Strahm, T. Mathematical Logic Quarterly, 48(2):195–202, 2002.
Paper bibtex @Article{rs02,
Author = {Christian R{\"u}ede and Thomas Strahm},
Title = {Intuitionistic fixed point theories for strictly
positive operators},
Journal = {Mathematical Logic Quarterly},
Volume = {48},
Number = {2},
Pages = {195{--}202},
url = {2002/rs02.pdf},
year = 2002
}
Downloads: 0
{"_id":"ihKG9sY95AQxbcKeG","bibbaseid":"rede-strahm-intuitionisticfixedpointtheoriesforstrictlypositiveoperators-2002","authorIDs":[],"author_short":["Rüede, C.","Strahm, T."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Christian"],"propositions":[],"lastnames":["Rüede"],"suffixes":[]},{"firstnames":["Thomas"],"propositions":[],"lastnames":["Strahm"],"suffixes":[]}],"title":"Intuitionistic fixed point theories for strictly positive operators","journal":"Mathematical Logic Quarterly","volume":"48","number":"2","pages":"195–202","url":"2002/rs02.pdf","year":"2002","bibtex":"@Article{rs02,\n Author = {Christian R{\\\"u}ede and Thomas Strahm},\n Title = {Intuitionistic fixed point theories for strictly\n positive operators},\n Journal = {Mathematical Logic Quarterly},\n Volume = {48},\n Number = {2},\n Pages = {195{--}202},\n url = {2002/rs02.pdf},\n year = 2002\n}\n\n","author_short":["Rüede, C.","Strahm, T."],"key":"rs02","id":"rs02","bibbaseid":"rede-strahm-intuitionisticfixedpointtheoriesforstrictlypositiveoperators-2002","role":"author","urls":{"Paper":"http://home.inf.unibe.ch/~brambi/2002/rs02.pdf"},"downloads":0},"bibtype":"article","biburl":"http://home.inf.unibe.ch/~brambi/ltg.bib","creationDate":"2020-02-26T09:06:59.121Z","downloads":0,"keywords":[],"search_terms":["intuitionistic","fixed","point","theories","strictly","positive","operators","rüede","strahm"],"title":"Intuitionistic fixed point theories for strictly positive operators","year":2002,"dataSources":["jFQMeatnEb8qn3qdH"]}