Profinite Monads, Profinite Equations and Reitermann's Theorem (bibtex)
by Liang-Ting Chen, Jiří Adámek, Stefan Milius, Henning Urbat
Reference:
Profinite Monads, Profinite Equations and Reitermann's Theorem (Liang-Ting Chen, Jiří Adámek, Stefan Milius, Henning Urbat), In Proc. Foundations of Software Science and Computation Structures (FoSSaCS) (Bart Jacobs, Christof Löding, eds.), Lecture Notes Comput. Sci. (ARCoSS), vol. 9634, pp. 531–547, Springer, 2016. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-49630-5_31.
Bibtex Entry:
@InProceedings{camu16,
  author = 	 {Liang-Ting Chen and Ji\v{r}\'\i\ Ad\'amek and Stefan Milius and Henning Urbat},
  title = 	 {Profinite Monads, Profinite Equations and {R}eitermann's Theorem},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc.~Foundations of Software Science and Computation Structures (FoSSaCS)},
  year = 	 {2016},
  editor = 	 {Bart Jacobs and Christof L\"oding},
  volume = 	 {9634},
  OPTnumber = 	 {},
  series = 	 {Lecture Notes Comput.~Sci. (ARCoSS)},
  pages = 	 {531--547},
   url       = {https://doi.org/10.1007/978-3-662-49630-5_31},
  doi       = {10.1007/978-3-662-49630-5_31},
    comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-662-49630-5_31">http://dx.doi.org/10.1007/978-3-662-49630-5_31</a>.},
  OPTmonth = 	 {},
  OPTaddress = 	 {},
  OPTorganization = {},
  publisher = {Springer},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
Powered by bibtexbrowser