Profinite Monads, Profinite Equations and Reitermann's Theorem (bibtex)

by Liang-Ting Chen, Jiří Adámek, Stefan Milius and Henning Urbat

Reference:

Liang-Ting Chen, Jiří Adámek, Stefan Milius and Henning Urbat: Profinite Monads, Profinite Equations and Reitermann's Theorem, In Bart Jacobs, Christof Löding, eds.: Proc. Foundations of Software Science and Computation Structures (FoSSaCS), 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:

@string{springer="Springer"}
@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 = 	 {}
}