Fixed Points Without Completeness. Mislove, M. W., Roscoe, A. W., & Schneider, S. A. Theor. Comput. Sci., 138(2):273-314, 1995.
Link
Paper bibtex @article{journals/tcs/MisloveRS95,
added-at = {2020-08-07T00:00:00.000+0200},
author = {Mislove, Michael W. and Roscoe, A. W. and Schneider, Steve A.},
biburl = {https://www.bibsonomy.org/bibtex/27329891bc1c95a4b747015214aa19452/dblp},
ee = {https://www.wikidata.org/entity/Q60173630},
interhash = {efc93fa88a6bc510ee04ad81ba4bd03e},
intrahash = {7329891bc1c95a4b747015214aa19452},
journal = {Theor. Comput. Sci.},
keywords = {dblp},
number = 2,
pages = {273-314},
timestamp = {2020-08-08T11:41:49.000+0200},
title = {Fixed Points Without Completeness.},
url = {http://dblp.uni-trier.de/db/journals/tcs/tcs138.html#MisloveRS95},
volume = 138,
year = 1995
}
Downloads: 0
{"_id":"XKqHphcxus6r3RaZD","bibbaseid":"mislove-roscoe-schneider-fixedpointswithoutcompleteness-1995","author_short":["Mislove, M. W.","Roscoe, A. W.","Schneider, S. A."],"bibdata":{"bibtype":"article","type":"article","added-at":"2020-08-07T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Mislove"],"firstnames":["Michael","W."],"suffixes":[]},{"propositions":[],"lastnames":["Roscoe"],"firstnames":["A.","W."],"suffixes":[]},{"propositions":[],"lastnames":["Schneider"],"firstnames":["Steve","A."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/27329891bc1c95a4b747015214aa19452/dblp","ee":"https://www.wikidata.org/entity/Q60173630","interhash":"efc93fa88a6bc510ee04ad81ba4bd03e","intrahash":"7329891bc1c95a4b747015214aa19452","journal":"Theor. Comput. Sci.","keywords":"dblp","number":"2","pages":"273-314","timestamp":"2020-08-08T11:41:49.000+0200","title":"Fixed Points Without Completeness.","url":"http://dblp.uni-trier.de/db/journals/tcs/tcs138.html#MisloveRS95","volume":"138","year":"1995","bibtex":"@article{journals/tcs/MisloveRS95,\n added-at = {2020-08-07T00:00:00.000+0200},\n author = {Mislove, Michael W. and Roscoe, A. W. and Schneider, Steve A.},\n biburl = {https://www.bibsonomy.org/bibtex/27329891bc1c95a4b747015214aa19452/dblp},\n ee = {https://www.wikidata.org/entity/Q60173630},\n interhash = {efc93fa88a6bc510ee04ad81ba4bd03e},\n intrahash = {7329891bc1c95a4b747015214aa19452},\n journal = {Theor. Comput. Sci.},\n keywords = {dblp},\n number = 2,\n pages = {273-314},\n timestamp = {2020-08-08T11:41:49.000+0200},\n title = {Fixed Points Without Completeness.},\n url = {http://dblp.uni-trier.de/db/journals/tcs/tcs138.html#MisloveRS95},\n volume = 138,\n year = 1995\n}\n\n","author_short":["Mislove, M. W.","Roscoe, A. W.","Schneider, S. A."],"key":"journals/tcs/MisloveRS95","id":"journals/tcs/MisloveRS95","bibbaseid":"mislove-roscoe-schneider-fixedpointswithoutcompleteness-1995","role":"author","urls":{"Link":"https://www.wikidata.org/entity/Q60173630","Paper":"http://dblp.uni-trier.de/db/journals/tcs/tcs138.html#MisloveRS95"},"keyword":["dblp"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Schneider?items=1000","dataSources":["i8SRmtQi2JMEkzH9M"],"keywords":["dblp"],"search_terms":["fixed","points","without","completeness","mislove","roscoe","schneider"],"title":"Fixed Points Without Completeness.","year":1995}