@INPROCEEDINGS{TZ00,
  author = {Tucker, J.V. and Zucker, J.I.},
  title = {Computable Functions and Semicomputable Sets on Many-Sorted Algebras},
  booktitle = {Handbook of Logic in Computer Science, Volume 5},
  year = {2000},
  editor = {Abramsky, S. and Gabbay, D.M. and Maibaum, T.S.E.},
  pages = {317--523},
  address = {Oxford},
  publisher = {Oxford University Press},
  keywords = {bib,cca}
}

{"_id":"5kwB5kd5KPz5bo4hB","bibbaseid":"tucker-zucker-computablefunctionsandsemicomputablesetsonmanysortedalgebras-2000","authorIDs":[],"author_short":["Tucker, J.","Zucker, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Tucker"],"firstnames":["J.V."],"suffixes":[]},{"propositions":[],"lastnames":["Zucker"],"firstnames":["J.I."],"suffixes":[]}],"title":"Computable Functions and Semicomputable Sets on Many-Sorted Algebras","booktitle":"Handbook of Logic in Computer Science, Volume 5","year":"2000","editor":[{"propositions":[],"lastnames":["Abramsky"],"firstnames":["S."],"suffixes":[]},{"propositions":[],"lastnames":["Gabbay"],"firstnames":["D.M."],"suffixes":[]},{"propositions":[],"lastnames":["Maibaum"],"firstnames":["T.S.E."],"suffixes":[]}],"pages":"317–523","address":"Oxford","publisher":"Oxford University Press","keywords":"bib,cca","bibtex":"@INPROCEEDINGS{TZ00,\r\n author = {Tucker, J.V. and Zucker, J.I.},\r\n title = {Computable Functions and Semicomputable Sets on Many-Sorted Algebras},\r\n booktitle = {Handbook of Logic in Computer Science, Volume 5},\r\n year = {2000},\r\n editor = {Abramsky, S. and Gabbay, D.M. and Maibaum, T.S.E.},\r\n pages = {317--523},\r\n address = {Oxford},\r\n publisher = {Oxford University Press},\r\n keywords = {bib,cca}\r\n}\r\n\r\n","author_short":["Tucker, J.","Zucker, J."],"editor_short":["Abramsky, S.","Gabbay, D.","Maibaum, T."],"key":"TZ00","id":"TZ00","bibbaseid":"tucker-zucker-computablefunctionsandsemicomputablesetsonmanysortedalgebras-2000","role":"author","urls":{},"keyword":["bib","cca"],"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:54.122Z","downloads":0,"keywords":["bib","cca"],"search_terms":["computable","functions","semicomputable","sets","many","sorted","algebras","tucker","zucker"],"title":"Computable Functions and Semicomputable Sets on Many-Sorted Algebras","year":2000,"dataSources":["t7rKiAbxugj4Agz8M"]}