@INPROCEEDINGS{TZ98a,
  author = {Tucker, J.V. and Zucker, J.I.},
  title = {Infinitary Algebraic Specifications for Stream Algebras},
  booktitle = {Computability and Complexity in Analysis},
  year = {1998},
  editor = {Ko, Ker-I and Nerode, Anil and Pour-El, Marian B. and Weihrauch,
	Klaus and Wiedermann, Ji{\v{r}}{\'{\i}}},
  volume = {235},
  series = {Informatik Berichte},
  pages = {103--115},
  month = aug,
  publisher = {FernUniversit\"at Hagen},
  note = {CCA Workshop, Brno, Czech Republic, August, 1998}
}

{"_id":"G6sS46zeKbbAsJb8z","bibbaseid":"tucker-zucker-infinitaryalgebraicspecificationsforstreamalgebras-1998","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":"Infinitary Algebraic Specifications for Stream Algebras","booktitle":"Computability and Complexity in Analysis","year":"1998","editor":[{"propositions":[],"lastnames":["Ko"],"firstnames":["Ker-I"],"suffixes":[]},{"propositions":[],"lastnames":["Nerode"],"firstnames":["Anil"],"suffixes":[]},{"propositions":[],"lastnames":["Pour-El"],"firstnames":["Marian","B."],"suffixes":[]},{"propositions":[],"lastnames":["Weihrauch"],"firstnames":["Klaus"],"suffixes":[]},{"propositions":[],"lastnames":["Wiedermann"],"firstnames":["Jiří"],"suffixes":[]}],"volume":"235","series":"Informatik Berichte","pages":"103–115","month":"August","publisher":"FernUniversität Hagen","note":"CCA Workshop, Brno, Czech Republic, August, 1998","bibtex":"@INPROCEEDINGS{TZ98a,\r\n author = {Tucker, J.V. and Zucker, J.I.},\r\n title = {Infinitary Algebraic Specifications for Stream Algebras},\r\n booktitle = {Computability and Complexity in Analysis},\r\n year = {1998},\r\n editor = {Ko, Ker-I and Nerode, Anil and Pour-El, Marian B. and Weihrauch,\r\n\tKlaus and Wiedermann, Ji{\\v{r}}{\\'{\\i}}},\r\n volume = {235},\r\n series = {Informatik Berichte},\r\n pages = {103--115},\r\n month = aug,\r\n publisher = {FernUniversit\\\"at Hagen},\r\n note = {CCA Workshop, Brno, Czech Republic, August, 1998}\r\n}\r\n\r\n","author_short":["Tucker, J.","Zucker, J."],"editor_short":["Ko, K.","Nerode, A.","Pour-El, M. B.","Weihrauch, K.","Wiedermann, J."],"key":"TZ98a","id":"TZ98a","bibbaseid":"tucker-zucker-infinitaryalgebraicspecificationsforstreamalgebras-1998","role":"author","urls":{},"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-11T13:29:35.914Z","downloads":0,"keywords":[],"search_terms":["infinitary","algebraic","specifications","stream","algebras","tucker","zucker"],"title":"Infinitary Algebraic Specifications for Stream Algebras","year":1998,"dataSources":["t7rKiAbxugj4Agz8M"]}