@inproceedings{AntunesSouto08,
  author = "L. Antunes and A. Souto",
  title = "Sophisticated Infinite Sequences",
  year = "2008",
  booktitle = "Proceedings of the Fourth Conference on Computability in Europe",
  pages = "25--34",
  pdf = "http://www.dcc.fc.up.pt/~andresouto/sophistication_for_infinite_sequences.pdf"
}

{"_id":"92NJmsNkfmLJRkhaa","bibbaseid":"antunes-souto-sophisticatedinfinitesequences-2008","downloads":0,"creationDate":"2016-10-25T22:18:36.479Z","title":"Sophisticated Infinite Sequences","author_short":["Antunes, L.","Souto, A."],"year":2008,"bibtype":"inproceedings","biburl":"http://www.cs.uwyo.edu/~jhitchco/dim.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["L."],"propositions":[],"lastnames":["Antunes"],"suffixes":[]},{"firstnames":["A."],"propositions":[],"lastnames":["Souto"],"suffixes":[]}],"title":"Sophisticated Infinite Sequences","year":"2008","booktitle":"Proceedings of the Fourth Conference on Computability in Europe","pages":"25--34","pdf":"http://www.dcc.fc.up.pt/~andresouto/sophistication_for_infinite_sequences.pdf","bibtex":"@inproceedings{AntunesSouto08,\n author = \"L. Antunes and A. Souto\",\n title = \"Sophisticated Infinite Sequences\",\n year = \"2008\",\n booktitle = \"Proceedings of the Fourth Conference on Computability in Europe\",\n pages = \"25--34\",\n pdf = \"http://www.dcc.fc.up.pt/~andresouto/sophistication_for_infinite_sequences.pdf\"\n}\n\n","author_short":["Antunes, L.","Souto, A."],"key":"AntunesSouto08","id":"AntunesSouto08","bibbaseid":"antunes-souto-sophisticatedinfinitesequences-2008","role":"author","urls":{},"downloads":0},"search_terms":["sophisticated","infinite","sequences","antunes","souto"],"keywords":[],"authorIDs":[],"dataSources":["PKfaZEugcQYHMd5Wj"]}