@Article{Poland:04,
 author =       "J. Poland",
  year =         "2004",
   title =        "A Coding Theorem for Enumerable Output Machines",
    journal =      "Information Processing Letters",
     volume =       "91",
      number =       "4",
       pages =        "157--161",
       }

{"_id":"ghgmtF8hhxf2fNLLB","bibbaseid":"poland-acodingtheoremforenumerableoutputmachines-2004","downloads":0,"creationDate":"2018-10-05T11:34:46.543Z","title":"A Coding Theorem for Enumerable Output Machines","author_short":["Poland, J."],"year":2004,"bibtype":"article","biburl":"http://people.idsia.ch/~juergen/deep.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["J."],"propositions":[],"lastnames":["Poland"],"suffixes":[]}],"year":"2004","title":"A Coding Theorem for Enumerable Output Machines","journal":"Information Processing Letters","volume":"91","number":"4","pages":"157–161","bibtex":"@Article{Poland:04,\n author = \"J. Poland\",\n year = \"2004\",\n title = \"A Coding Theorem for Enumerable Output Machines\",\n journal = \"Information Processing Letters\",\n volume = \"91\",\n number = \"4\",\n pages = \"157--161\",\n } \n\n","author_short":["Poland, J."],"key":"Poland:04","id":"Poland:04","bibbaseid":"poland-acodingtheoremforenumerableoutputmachines-2004","role":"author","urls":{},"downloads":0,"html":""},"search_terms":["coding","theorem","enumerable","output","machines","poland"],"keywords":[],"authorIDs":[],"dataSources":["EmYaiv9TCHbg7caTW"]}